error: patch failed: manual/io.texi:59
error: manual/io.texi: patch does not apply