adapt to the eliom-widgets changes