fix tar downloads and make sure symbols can be names