GameManager: add unneeded include, as Eclpise is not happy without it.