Fix several issues in bashrc