If the distfile's size in question is zero, re-download it