deleted last 10 lines of compile.ml since it is not our code
deleted last 10 lines of compile.ml since it is not our code