currently unused; instead: ../rasmgr/rasmgr_config.cc