enable to compile min-rt.ml