error: patch failed: manual/memory.texi:397
error: manual/memory.texi: patch does not apply