Small bashrc fix for Ubuntu...