makes bash_profile compatible with mac and linux