Fixed package binary names and deb filenames