Correct filename in new patch file to fix the build.