Dominic Hargreaves Tue, 20 Jun 2017 10:06:43 -0700
an s-p-u bug has been opened at https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=865225
for this.