Fix a bad include in 88f5281 toolchain