remove unused function __rvm_dotted_run, update #2324