GCC build fix