Manually update fficonfig.h