Fix compilation with older versions of GCC