[lapino]

Using a nightly build to get xbmc to work on mavericks, I notice that when I go to system, ssystem, audio output I am no longer able to setup receiver options. I need this because mp3 audio from tvshows is not working and I remember having to change something there in previous versions.

How do I get these options back? Output is set to hdmi.