terminal: accommodate Git for Windows' default terminal