diff -Naur --exclude='*~' E/Makefile E-fink/Makefile
--- E/Makefile	2010-07-20 13:13:34.000000000 +0200
+++ E-fink/Makefile	2011-06-30 13:03:09.000000000 +0200
@@ -132,12 +132,12 @@
 # Configure and copy executables to the installation directory
 
 install: E
-	-sh -c 'mkdir -p $(EXECPATH)'
-	-sh -c 'development_tools/e_install PROVER/eprover $(EXECPATH) ' 
-	-sh -c 'development_tools/e_install PROVER/epclextract $(EXECPATH)'
-	-sh -c 'development_tools/e_install PROVER/eproof $(EXECPATH)'
-	-sh -c 'development_tools/e_install  PROVER/eground $(EXECPATH)'	
-	-sh -c 'development_tools/e_install  PROVER/e_ltb_runner $(EXECPATH)'	
+	-sh -c 'mkdir -p $(DESTDIR)$(EXECPATH)'
+	-sh -c 'development_tools/e_install PROVER/eprover $(DESTDIR)$(EXECPATH) ' 
+	-sh -c 'development_tools/e_install PROVER/epclextract $(DESTDIR)$(EXECPATH)'
+	-sh -c 'development_tools/e_install PROVER/eproof $(DESTDIR)$(EXECPATH)'
+	-sh -c 'development_tools/e_install  PROVER/eground $(DESTDIR)$(EXECPATH)'	
+	-sh -c 'development_tools/e_install  PROVER/e_ltb_runner $(DESTDIR)$(EXECPATH)'	
 	-sh -c 'mkdir -p $(MANPATH)'
 	-sh -c 'development_tools/e_install DOC/man/eprover.1 $(MANPATH)'
 	-sh -c 'development_tools/e_install DOC/man/epclextract.1 $(MANPATH)'