diff -r 491d62ac2017 -r d28b764334b8 configure
--- a/configure	Mon Aug 01 22:46:57 2011 +0200
+++ b/configure	Tue Aug 09 22:10:57 2011 +0200
@@ -348,6 +348,8 @@
         --build=*|--host=*|--infodir=*|--datadir=*|--sysconfdir=*|--localstatedir=*) shift;;
         --build|--host|--infodir|--datadir|--sysconfdir|--localstatedir)             shift 2;;
         --enable-shared|--disable-shared|--enable-static|--disable-static)           shift;;
+        --program-prefix=*)                                                          shift;;
+        --program-prefix)                                                            shift 2;;
         *)          printf "Unrecognised option: '${1}'\n"; do_help; exit 1;;
     esac
 done