modify min-rt.ml to support binary mode