Fix for GCC compilers