fixes #2695: Fedora mirror url is correct now