Fix compilation with recent gcc