bin/dvips2ascii