[Cin] one more termux patch!

[Andrea paz]

I also tried the build on Debian 11 32-bit (VM) with patch 0001 and
everything is Ok.

@MatN
Thanks for the explanations about the "patch" command. I tried the -p2
option and everything works fine. I've always been confused about
which -p(n) to use; for example in this case I would have used -p3,
also counting the slash of "b/...". Anyway, I thought that by copying
the patch to the directory where the file to be patched is located,
there was no need to specify -p(n). I was wrong!