diff -up TeXmacs-1.99.13/src/Plugins/Qt/QTMStyle.cpp.qt5.15 TeXmacs-1.99.13/src/Plugins/Qt/QTMStyle.cpp
--- TeXmacs-1.99.13/src/Plugins/Qt/QTMStyle.cpp.qt5.15 2020-05-28 02:56:46.524435324 -0600
+++ TeXmacs-1.99.13/src/Plugins/Qt/QTMStyle.cpp 2020-09-23 22:00:08.473680899 -0600
@@ -18,6 +18,7 @@
#include <QStyleOptionMenuItem>
#include <qdrawutil.h>
#include <QPainter>
+#include <QPainterPath>
#include <QMainWindow>
int
diff -up TeXmacs-1.99.13/src/Plugins/Qt/qt_renderer.cpp.qt5.15 TeXmacs-1.99.13/src/Plugins/Qt/qt_renderer.cpp
--- TeXmacs-1.99.13/src/Plugins/Qt/qt_renderer.cpp.qt5.15 2020-05-28 02:56:46.516435221 -0600
+++ TeXmacs-1.99.13/src/Plugins/Qt/qt_renderer.cpp 2020-09-23 22:00:47.560988245 -0600
@@ -21,6 +21,7 @@
#include <QObject>
#include <QWidget>
#include <QPaintDevice>
+#include <QPainterPath>
#include <QPixmap>
/******************************************************************************