I have uploaded a wdm_1.28-5 source package to mentors.debian.net with this bug fixed. Hope it will be in the archives soon.