gecode_solver: fix build for python3 [applied]