Fix the build when building with only the ARM backend.