Now the script "refine-deb.sh" edits the deb package's control file.