Fix compilation with gcc