error: patch failed: manual/dynlink.texi:28 error: manual/dynlink.texi: patch does not apply