use a default file name for res_monitor, if none was given. Bug #704