Re #9731. Fixing the builds.
Merge branch 'bugfix/9731_loadmonitors_defaults' into develop