Use DISTNAME offered by master download site.