updated example, mac mosek_cli compatibility, other small changes