I’ve solved this by buying an Active minidisplay port to HDMI. I get sound through HDMI now.