update ecompiler.ml