Fix build with GCC