Updated specs using new c2ffi .. should fix 32-bit problems