https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94222
--- Comment #2 from Jaroslav Fojtík <JaFojtik at seznam dot cz> --- Sorry, it worked for many years without any problems. I has been fixed a problem in my WP2LaTeX now. https://bitbucket.org/JaFojtik/wp2latex/commits/b337710165faa629cbae4f81f6ed4d79dde5aa3e
