Fix setup.py for cffi