skip rbenv setup if it's already done

e.g. by /etc/profile.d/rbenv.sh