extract rvmrc_set, update #1517