Put back eliom.99990 (until eliom 4.0 is out)