I just have fixed dvips' search path, due to a "timeout" error of the official maintainer(s). The changes are small (#4362), so if they disagree, they can easily revert them. Hope, that's ok... Thomas