When a function returns a char*, it is necessary to tell it to ctypes, instead it returns an integer. On a 64 bits CPU, pointers can overflow the integer, and result to an unvalid pointer given to c_char_p.