deb packaging: fix #558 again