bashrc now includes old .profile stuff