Didn't we change this to `.bash_profile`?