10% speed up for rvm-shell