.bash_profile calls .bashrc; .bashrc includes a few aliases