Fixed bugs causing it not to run on latest mosek (7.0.11)