grievous bug in bashrc