Patch for compatibility with ocsigen/ocsigenserver@4d37bf6