Another cvxopt install tweak