diff -r 53510efbca11 -r 9501cc7d9177 configure
--- a/configure	Fri Mar 27 10:34:02 2015 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-#! /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