pngtopnm $1 | pnmscale -xysize 80 80 | ppmquant 32 | ppmtoxpm > $2
