Let mkfedora pick the right URL to get the RPMs, unless it is specifically specified...