See https://github.com/ocsigen/tyxml/pull/32