Fix ert download URL.