bash_profile: Fix proxy snafu.