Fix for $PATH setting in .bashrc