INST: now modifying .bash_profile after removing old lines