Dear Adrian,
Thank you very much for digging deeper into this issue! If I understand you correctly, this bug report can be closed now, since the next Debian Stable release would rebuild the package anyway. Is this indeed the case? Best wishes, Sebastian
