Patch for compatibility with ocsigen/ocsigenserver@4d37bf6
Patch for compatibility with ocsigen/ocsigenserver@9665953