jhc_rename_aligned_alloc.patch
jhc_man_bad_format.patch
