Check for Mosek major version
towards fixing issue #1287