Fix an annoying warning when using GCC