041120140036: Updated rvm_init() in rvm.cpp.