Recompiling the darcs tree after a pull