It seems like everything after `modules` here should just be a default on `build_ffi`?