Wie kann Raspberry HDMI-Audio als Standardsystemausgabe verwenden?

Ich habe gerade Raspberry Pi installiert und alles funktioniert hervorragend, außer dass ich nicht den Standardsystem-Sound für die Verwendung von HDMI erhalten kann. Wenn ich so etwas ausführe, omxplayer -o hdmi <filename>funktioniert der Sound, aber ich kann nicht jede Anwendung dazu...