Turns out .bash_profile is not sourced in GNOME