minor modifications to the bashrc file