Patch for mediaserver.properties: using standard patch format