Index: minizinc-ide-2.5.0/MiniZincIDE/MiniZincIDE.pro
===================================================================
--- minizinc-ide-2.5.0.orig/MiniZincIDE/MiniZincIDE.pro	2020-10-17 16:02:39.526789186 +0300
+++ minizinc-ide-2.5.0/MiniZincIDE/MiniZincIDE.pro	2020-10-17 16:02:47.062557489 +0300
@@ -105,6 +105,3 @@
 
 include($$PWD/../cp-profiler/cp-profiler.pri)
 QT += network sql
-
-target.path = $$PREFIX/bin
-INSTALLS += target
