Game server: fixes compilation in gcc