[xymon] Patch for xymonserver.cfg.DIST