In the meantime, I tried to circumvent the issue by using a Custom AppleScript Slider (it even comes pre-configured to change the audio volume), and in theory it should work, but the bug I reported below prevents me from making the slider take on the actual volume level on update, so that is a dealbreaker for the moment as well. If that bug is fixed, we shouldn't need the actual Volume slider anymore, though.
