Fix a compilation issue on GCC