Cannot build pdf on TeX Live 2020 (macOS)

[anton-trunov]

make clean; make produces the following error message:

Runaway argument?
{y\_'' automatically gives us a way to replace \textit {y} by \textit \ETC.
! File ended while scanning use of \textit .
<inserted text>
                \par
l.94 \include{Rewriting.v}

?

I'm using macOS 10.15.6 Catalina and the following version of pdflatex:

$ pdflatex -v
pdfTeX 3.14159265-2.6-1.40.21 (TeX Live 2020)
kpathsea version 6.3.2
Copyright 2020 Han The Thanh (pdfTeX) et al.
There is NO warranty.  Redistribution of this software is
covered by the terms of both the pdfTeX copyright and
the Lesser GNU General Public License.
For more information about these matters, see the file
named COPYING and the pdfTeX source.
Primary author of pdfTeX: Han The Thanh (pdfTeX) et al.
Compiled with libpng 1.6.37; using libpng 1.6.37
Compiled with zlib 1.2.11; using zlib 1.2.11
Compiled with xpdf version 4.02