update .bash_profile to detect OS in a more correct manner