#302435 tetex-bin: dvips info error