Eliom: removing useless eliom.install