bashrc: prompt tweak, $PATH tweak