Proper platform identification in the bash_profile