Index: minizinc-ide-2.4.0/MiniZincIDE/MiniZincIDE.pro
===================================================================
--- minizinc-ide-2.4.0.orig/MiniZincIDE/MiniZincIDE.pro	2019-12-16 12:37:26.910069752 +0200
+++ minizinc-ide-2.4.0/MiniZincIDE/MiniZincIDE.pro	2019-12-16 13:09:57.006236281 +0200
@@ -89,6 +89,3 @@
 
 RESOURCES += \
     minizincide.qrc
-
-target.path = $$PREFIX/bin
-INSTALLS += target
