Another round of small fixes when creating Debian package