--- old-ghc-6.12.0.20091010/configure.ac	2009-11-07 14:11:31.747192438 +0100
+++ new-ghc-6.12.0.20091010/configure.ac	2009-11-07 14:11:31.752194402 +0100
@@ -219,6 +219,8 @@
         exit 1
     fi
 fi
+build=`echo "$build" | sed -e 's/linux-gnu/linux/' -e 's/-pc-/-unknown-/'`
+build=`echo "$build" | sed -e 's/i[[3-6]]86/i386/'`
 
 if test "$host" = ""
 then
@@ -231,6 +233,8 @@
         exit 1
     fi
 fi
+host=`echo "$host" | sed -e 's/linux-gnu/linux/' -e 's/-pc-/-unknown-/'`
+host=`echo "$host" | sed -e 's/i[[3-6]]86/i386/'`
 
 if test "$target" = ""
 then
@@ -243,6 +247,8 @@
         exit 1
     fi
 fi
+target=`echo "$target" | sed -e 's/linux-gnu/linux/' -e 's/-pc-/-unknown-/'`
+target=`echo "$target" | sed -e 's/i[[3-6]]86/i386/'`
 
 exeext=''
 soext='.so'