modify to compile min-rt.ml

resolve typing error