Making bash_profile work on more machines