When using git, clean and re-pull before build, if already cloned.

This also fixes patching, since otherwise it tried to apply the patch to the already patched source tree.