added back .bash_profile for login versus nonlogin shells