fix broken patch file from #2997