Bug#471760: patch for FTBFS with dash

[Soeren Sonnenburg]

tags 471760 + patch
thanks

trivial patch to fix the FTBFS with dash

diff --git a/configure b/configure
index 1e4d083..df31878 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 while [ $# -gt 0 ] ; do
 	case $1 in