Use e3_core.mli from e3 dev branch