Make bashrc more portable