fix for rvm_thin.sh