Only as reference, if others hit this too: the Debian bug report can be found at <https://bugs.debian.org/794488>.