DESTDIR is the correct name

prospero/app/Makefile.in

@@ -53,8 +53,8 @@ all:	${PROGS}
 
 install:
 	-for i in ${PROGS} ; do \
-	    ${INSTALL} -c -m 755 -o ${OWNER} -g ${GROUP} $${i} ${DISTDIR}/${P_BINARIES}/$${i}${GENERATIONSUFFIX} ;\
-	    ${GENERATION} ${DISTDIR}/${P_BINARIES}/$${i} ;\
+	    ${INSTALL} -c -m 755 -o ${OWNER} -g ${GROUP} $${i} ${P_BINARIES}/$${i}${GENERATIONSUFFIX} ;\
+	    ${GENERATION} ${P_BINARIES}/$${i} ;\
 	done 
 
 # dependencies of all and OTHERPROGS