realised that bash_profile and bashrc need to be both used if I want both OSX and linux to play nice