Force archive name for download to avoid differences between wget implementations.