git.pl : fix for git version 1.8.3.2