Fix warnings on ARM GCC compiler