Game server: should fix compilation with gcc.