041220141837: Updated rvm_file.cpp.