Maybe it is sufficient to just include the ogg player/codec installer and credits, as the game just
uses this program, and does not have ogg included in the gamecode itself..
But a relevant question.