error: patch failed: manual/tunables.texi:484
error: manual/tunables.texi: patch does not apply