Fix a compile error specific to gcc