Silencing CVXopt by default