RE: Recompiling the darcs tree after a pull