--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/configure	Mon Jan 07 12:43:56 2019 +0100
@@ -0,0 +1,16 @@
+#! /bin/sh
+
+prefix=/usr/local
+
+tmp=`getopt -n $0 -o p: -l prefix: -- "$@"`
+eval set -- $tmp
+
+while true; do
+	o="$1"; shift
+	case "$o" in
+		-p|--prefix)	prefix="$1"; shift;;
+		--) break;;
+	esac
+done
+
+perl -pe "s{!prefix!}{$prefix}g" < Makefile.in > Makefile