I have an audio extractor that conveniently passes the sound from HDMI to my desktop speakers. The extractor is connected between my HDMI input switcher and the [primary] monitor, so whichever device I'm currently using outputs the audio to the speakers.