Fix the ARM build.