updated cvxopt header file to 1.1.6