bash_profile: more aliases and stuff