Patch for using git clone (Matthias)