Index: minizinc-ide-2.0.14/MiniZincIDE/MiniZincIDE.pro
===================================================================
--- minizinc-ide-2.0.14.orig/MiniZincIDE/MiniZincIDE.pro	2016-08-29 20:02:44.002994548 +0300
+++ minizinc-ide-2.0.14/MiniZincIDE/MiniZincIDE.pro	2016-08-29 20:03:11.101985784 +0300
@@ -86,6 +86,3 @@
 
 RESOURCES += \
     minizincide.qrc
-
-target.path = /bin
-INSTALLS += target
