Fix the build on fri3gc.