Using bash to reload .profile using source