darcs: jailbreak to fix build with random 1.x