diff -r 7264ce426be4 -r 8dbd9e0dc1d9 configure
--- a/configure	Wed Jun 17 10:46:28 2009 +0200
+++ b/configure	Wed Jun 17 12:32:01 2009 +0200
@@ -337,6 +337,7 @@
 has_or_abort prog=libtool                                                                           \
              ver='\(GNU libtool.*\) (2[[:digit:]]*\.|1\.6[[:digit:]]*\.|1\.5\.[2-9][[:digit:]]+)'   \
              err="'libtool' 1.5.26 or above was not found"
+has_or_abort prog=stat ver='GNU coreutils'
 has_or_abort prog="curl wget"
 has_or_abort prog=cvs
 has_or_abort prog=patch