/etc/profile: replace mingw.git by mingw/4msysgit.git