Smaller PNGs via deflopt