5.3.86
     * Linux audio: reverted to old version of PortAudio because of race
       problems in the Alsa–PulseAudio cooperation.
 5.4