Hi. I had to correct the steps given here https://github.com/texmacs/texmacs/wiki/Build-with-CMake-on-GNU-Linux to compile Guile 1.8.8 on Debian. The line
patch -p1 guile-1.8.8-configure.patch
should be
patch -p1 < guile-1.8.8-configure.patch
because patch takes its input from stdin.