Yes it kind of is. I am doing almost the exact thing as in here : https://github.com/sagemath/sage/blob/master/src/sage/libs/libecm.pyx#L49 except for the verbose thing. I am not sure whether I have done anything wrong. Can you try this yourself?