Finished fix to allow install of packages with user-specified filenames.