optimize some png files with optipng