py-cvxopt is a stub port
