Some ctypes aren't available in the kernel