In the Audio settings section the "OGG" file type does not show up to specify the player I would like to use.