update Debian files, fix command-with-path-in-maintainer-script