src/tools/compile_et