AI server: should fix compilation with gcc.