Index: gnulib/lib/mountlist.c
===================================================================
--- gnulib/lib/mountlist.c.orig	2007-12-02 12:57:51.000000000 +0100
+++ gnulib/lib/mountlist.c	2010-11-17 13:08:32.133380836 +0100
@@ -71,6 +71,11 @@
 # endif
 #endif
 
+#if defined __linux__
+#  undef MOUNTED
+#  define MOUNTED "/proc/mounts"
+#endif
+
 #ifdef MOUNTED_GETMNTINFO	/* 4.4BSD.  */
 # include <sys/mount.h>
 #endif