.bash_profile: Add plenv setting