usable in case anyone grovels around in the work dir and finds it.
Allow ${PREFIX} setting. (ports/12213) Clean up makefile a smidge. PR: ports/11581 and ports/12213 Submitted by: Martin Kammerhofer dada@sbox.tu-graz.ac.at and Nick Hibma nick.hibma@jrc.it
Found by: distfile checker
Requested by: asami