I've uploaded new upstream version 7.8.06 to mentors.debian.net. It should be taken by a Debian Maintainer and uploaded to debian after a verification. The package also fixes this bug.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
