to the wrong distfile (there are 2 or 3 different versions of dviselect, but the differences are essentially cosmetic)