.bash_profile: add extra to load.