More specific Ocsigen license checked by  FlorentBecker