self-made timeout, should fix darcs zombies