Change path to download mkrepoidx (fixes #3476)