Bug#842796: ogg123 always segfaults after playing file

[Ian Jackson]

Package: vorbis-tools
Version: 1.4.0-6+deb8u1
Severity: important

$ rm Example.ogg 
$ wget https://upload.wikimedia.org/wikipedia/commons/c/c8/Example.ogg
--2016-11-01 11:26:32--  https://upload.wikimedia.org/wikipedia/commons/c/c8/Example.ogg
Resolving upload.wikimedia.org (upload.wikimedia.org)... 208.80.154.240, 2620:0:861:ed1a::2:b
Connecting to upload.wikimedia.org (upload.wikimedia.org)|208.80.154.240|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 105243 (103K) [application/ogg]
Saving to: ‘Example.ogg’

Example.ogg              100%[====================================>] 102.78K   380KB/s   in 0.3s   

2016-11-01 11:26:32 (380 KB/s) - ‘Example.ogg’ saved [105243/105243]

$ sha256sum Example.
sha256sum: Example.: No such file or directory
$ sha256sum Example.ogg 
379071af4fa77bc7dacf892ad81d3f92040a628367d34a451a2cdcc997ef27b0  Example.ogg
$ oggdec Example.ogg 
oggdec from vorbis-tools 1.4.0
Decoding "Example.ogg" to "Example.wav"
        [ 95.5%]
$ echo $?
0
$ ogg123 -d null Example.ogg 

Audio Device:   Null output

Playing: Example.ogg
Ogg Vorbis stream: 2 channel, 44100 Hz
Segmentation fault:00.00] of 00:06.10  (136.0 kbps)  Output Buffer   0.0% (EOS) 
$ echo $?
139
$

This started happening after I moved my OS install to a new computer.
But I also probably did an apt-get upgrade.  So the trigger was
probably either an update, or running on a new CPU.

Ian.