Fix compilation with ancient gcc