Manually turn char pointer into a string since Ctypes won't do that for us.