fix bash_profile after it got out of sync