Fix ARM build failure with gcc 4.6.