INST: fixed bug on osx for bash_profile modification