Fixing cvxopt support