Oops, I want my .profile to fix PATH for Alt-F2 run