Fix build in GCC