Further simplify "with_rvm_rubies.sh"