This was using the actual download URL, which might change, depending on whether a mirror was used. closes #1727