wenn es nicht unbedingt dieses Tool sein muss habe ich hier einen Tipp:
online gibt es auch die Möglichkeit PNGs verlustfrei zu verkleinern
auf ezgif.com gibt es zu den ganzen GIF-Berbeitungstools auch ein PNG-Optimierungstool. Hier kann man PNGs verkleinern, schärfen, spiegeln...
http://ezgif.com/optipng
