Fix minor issues with the spec files used for building Debian installers