Actually use redownload command-line argument.