Tweak print/dvipsk-tetex version 5.95a_7