git: use -v instead of --verbose to make older versions of git happy