Make bashrc a little more cross-platform