bashrc: only source bash_profile if interactive shell