update bash_profile with proper extensions to file