removed .bashrc tip, which does not seem to work