Properly import ctypes