Add in patch for getting around lack of git on buildd servers