make: source the new bash_profile
make: source the new bash_profile

The important point is that we immediately wan to start working, so we
need the commands to be ready on install, not on shell restart.

GhostLyrics/scripted