Fix up .deb packaging scripts a bit