Since the disk cache shrinking is here to ensure that we don't run out of disk space, it should actually be done before *each* build.