The new pacman-based devkitPro installer is so fast that there's
really no point in caching here, it takes more time to download the
cache than to reinstall.