Update setup.py for changed FFI module name