Index: minizinc-ide-2.0.14/MiniZincIDE/MiniZincIDE.pro
===================================================================
--- minizinc-ide-2.0.14.orig/MiniZincIDE/MiniZincIDE.pro	2016-07-31 08:08:02.000000000 +0300
+++ minizinc-ide-2.0.14/MiniZincIDE/MiniZincIDE.pro	2016-08-29 19:52:23.894113984 +0300
@@ -6,15 +6,7 @@
 
 QT       += core gui widgets
 
-greaterThan(QT_MAJOR_VERSION, 4): {
-  greaterThan(QT_MINOR_VERSION, 5): {
-    QT += webenginewidgets
-    DEFINES += MINIZINC_IDE_HAVE_WEBENGINE
-  }
-  !greaterThan(QT_MINOR_VERSION, 5): {
-    QT += webkitwidgets
-  }
-}
+QT += webkitwidgets
 
 TARGET = MiniZincIDE
 TEMPLATE = app
