Fix the new Debian packaging script being all kinds of screwed-up...