I'm leaving this issue open until we hear back from the reporter of the Debian bug, since I haven't tested the fix.