actually use the /tmp files for extensions.
do not use ctypes, use _ctypes (less python packages)