updating mpp_main.ml