bash: source bashrc from profile