Fix compilation for some versions of GCC