Try importing from ctypes twice

It just works, don't know why...