Fixed NIOS2 build.