Random hacks

so this is broken since may 14 (commit 83752eee) - so I guess we can just leave it as true :)