bashrc: don't source .profile from .bashrc