Fix issue with GCC compiler