Small tweak to Mosek version-choosing
Removed unneeded 'printer' from ctypesgen.py