Make bash prompt compatible with older Git