fix .bash_profile alias