Hack for outdated git version on the server