--- configure.orig   2013-04-09 20:40:03.124800000 +0200
+++ configure  2013-04-09 20:39:52.844400000 +0200
@@ -14147,6 +14147,7 @@
 else
   ac_cs_awk_cr=$ac_cr
 fi
+ac_cs_awk_cr=$ac_cr
 
 echo 'BEGIN {' >"$tmp/subs1.awk" &&
 _ACEOF