Switch to good ole ctypes 1.0.2 for production.

Ctypes 1.0.2 seems incompatible with libffi4 on atlantides.org
so we'll go back to using its own libffi.