Fix bug in noncontiguous patch filenames (#26)