Marking as fixed then. Note that the Debian bug report is not related to this bug, but I can't remove the link.
Marking as fixed then. Note that the Debian bug report is not related to this bug, but I can't remove the link.