bash_profile: fix for tty login