Compact covering and game determinacy