Hackery to make downloads work when using a binary cache

Created by  Eelco Dolstra  on February 26, 2016
V2YFPM72UMEDEZVWBQT42KSVDALD5PPJXTBZALKH26SR5PKGC42AC
Change contents