Fix a compilation warning with older gcc