Fix bug in setting PATH in bashrc