handle /etc/profile.d/rbenv.sh not being sourced