I have USB external speakers that I've used on several PC lap tops and when plugged in, they work without having to select them via settings. On my rMBP, I have to manually select them in order to work. Also, I connected my rMBP to my TV via HDMI and the audio also did not automatically switch (only video). Should it be automatic or is this normal?