Fix compilation on GCC