I installed Sonic-pi 126.96.36.199, on my Raspberry Pi 4. Can’t switch audio from HDMI to headphone output. The headphone output works fine when I play a Youtube video, but sonic-pi only outputs via my hdmi display. I set the OS preferences to analog. New to sonic-pi, I am sure I ammissing something, if any one can help I would appreciate it.