Employ the ?dummy=/ trick in the download URL so that the standard DISTNAME works and we can drop DIST_SUBDIR.