TRIVIAL handling weird Ubuntu machines that do not have ctypes.get_errno