Eliom 3.0.0 depends on Server < 2.3