remove ctypes_configure and use CFFI to fetch constants