was not working with Fedora 19

Had to source .bash_profile directly from .bashrc.