MonitorConfig: switch to the real configuration file

Forgot to do before pushing...