Fix compilation on gcc systems