void encodePngFile(String path, {int level = 6, PngFilter filter = PngFilter.paeth}) { subCommand = EncodePngFileCmd(subCommand, path, level: level, filter: filter); }