Some programs for manipulating patch files
