bashrc: make things work better on Windows