Fixing compilation error on when building for ARM C/C++ compiler