Patch for compatibility with ocsigen/ocsigenserver@9665953