copy most of old bash_profile