avdevice/pulse_audio_dec: remove double ;;