Edit aptfile to edit which .deb files are downloaded