Version: 0.7.10-4 The patch debian/patches/drop-mark-as-command.patch has been added to the package. It fixes the reported issue and I am therefore closing this bug report. Rafael