Export cached Debian packages at the end of provision.sh