Add a wget option to not re-download