change destination file-name for deb-file