Patch for compatibility ocsigen/ocsigenserver@4d37bf6