update mpp_variables.ml