Fix build with gcc