Setting PATH in .profile did nothing; moved it to .bashrc