slightly better organization for .bash_profile