Patch for xymonserver.cfg.DIST