cvxopt 1.1.6 in main tree, removing.