Add the cffi extension in setup.py