reload bash_profile when done