--- envisat_tools/Makefile.orig	2017-06-30 08:23:02.000000000 +0200
+++ envisat_tools/Makefile	2017-06-30 08:26:54.000000000 +0200
@@ -17,11 +17,11 @@
 ### Check if you agree with the options below (install_dir OK?)
 ### then simply type: "make install"
 SHELL = 	/bin/sh
-CC = 		gcc
+CC = 		${CC}
 #CFLAGS =	-O3
 #CFLAGS =        -m32         # for 64-bit systems, it requires compatibility lib32, no need for epr_api v2.2
 LFLAGS =	-lm
-INSTALL_DIR =	/home/gertmulder/bin/doris/doris_v5_wu_branch
+INSTALL_DIR =	${INSTALLDIR}