fix MPS issues (including integer vars)