fix mps->mpb converter