AI server: another compilation fix for gcc