Index: head/multimedia/vlc/files/patch-modules_gui_qt_components_playlist_views.cpp =================================================================== --- head/multimedia/vlc/files/patch-modules_gui_qt_components_playlist_views.cpp +++ head/multimedia/vlc/files/patch-modules_gui_qt_components_playlist_views.cpp @@ -0,0 +1,10 @@ +--- modules/gui/qt/components/playlist/views.cpp.orig 2020-05-29 09:12:36 UTC ++++ modules/gui/qt/components/playlist/views.cpp +@@ -27,6 +27,7 @@ + #include "input_manager.hpp" /* THEMIM */ + + #include ++#include + #include + #include + #include Index: head/multimedia/vlc/files/patch-modules_gui_qt_dialogs_plugins.cpp =================================================================== --- head/multimedia/vlc/files/patch-modules_gui_qt_dialogs_plugins.cpp +++ head/multimedia/vlc/files/patch-modules_gui_qt_dialogs_plugins.cpp @@ -0,0 +1,10 @@ +--- modules/gui/qt/dialogs/plugins.cpp.orig 2020-05-29 08:11:20 UTC ++++ modules/gui/qt/dialogs/plugins.cpp +@@ -53,6 +53,7 @@ + #include + #include + #include ++#include + #include + #include + #include Index: head/multimedia/vlc/files/patch-modules_gui_qt_util_timetooltip.hpp =================================================================== --- head/multimedia/vlc/files/patch-modules_gui_qt_util_timetooltip.hpp +++ head/multimedia/vlc/files/patch-modules_gui_qt_util_timetooltip.hpp @@ -0,0 +1,10 @@ +--- modules/gui/qt/util/timetooltip.hpp.orig 2020-05-29 07:47:20 UTC ++++ modules/gui/qt/util/timetooltip.hpp +@@ -25,6 +25,7 @@ + #include "qt.hpp" + + #include ++#include + + class TimeTooltip : public QWidget + {