Fix compilation error with python