I don't know what .bash_profile does