On Tue, 2008-08-05 at 12:35 +0200, Koen Kooi wrote: > It broke builds for some people (but not all). What was the breakage? It seems like it would be a better idea to fix that than just to disable it. p.