gs -sDEVICE=png16m -r500 -dNOPAUSE -sOutputFile="$f"-gs.png "$f".ps -c quit
pngtopnm "$f"-gs.png |pnmcrop|pnmscale 0.125|pnmtopng -interlace -verbose >"$f".png
rm -f "$f"-gs.png
gs -sDEVICE=png16m -r500 -dNOPAUSE -sOutputFile="$f"-gs.png "$f".ps -c quit
pngtopnm "$f"-gs.png |pnmcrop|pnmscale 0.125|pnmtopng -interlace -verbose >"$f".png
rm -f "$f"-gs.png