Fix the build system against the latest eliom