media-sound/jack_mixer-17: fix build with python 3.11