Revert "Fix the build system against the latest eliom"

This reverts commit 053abdd0131886479352a31dc8f97aafe90cdea8.