don't use gifsicle to scale because that causes horrible dithering