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
@@ -60,7 +60,7 @@
 # include <mntent.h>
 # if !defined MOUNTED
 #  if defined _PATH_MOUNTED	/* GNU libc  */
-#   define MOUNTED _PATH_MOUNTED
+#    define MOUNTED _PATH_MOUNTED
 #  endif
 #  if defined MNT_MNTTAB	/* HP-UX.  */
 #   define MOUNTED MNT_MNTTAB
@@ -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