fix for compiling arm on ubuntu with gcc-4.9