diff --git a/build-aux/configure-lib.sh b/build-aux/configure-lib.sh
index d16a24f2..08ad2baa 100644
--- a/build-aux/configure-lib.sh
+++ b/build-aux/configure-lib.sh
@@ -267,6 +267,14 @@ lib/linux/stat.c
 "
 fi
 
+if test $mes_kernel = gnu; then
+    libc_tcc_SOURCES="$libc_tcc_SOURCES
+lib/stub/close.c
+lib/stub/rmdir.c
+lib/stub/stat.c
+"
+fi
+
 libc_gnu_SOURCES="
 $libc_tcc_SOURCES
 lib/ctype/isalnum.c
diff --git a/lib/stub/close.c b/lib/stub/close.c
new file mode 100644
index 00000000..a7120672
--- /dev/null
+++ b/lib/stub/close.c
@@ -0,0 +1,34 @@
+/* -*-comment-start: "//";comment-end:""-*-
+ * GNU Mes --- Maxwell Equations of Software
+ * Copyright © 2019 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
+ *
+ * This file is part of GNU Mes.
+ *
+ * GNU Mes is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or (at
+ * your option) any later version.
+ *
+ * GNU Mes is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+#include <mes/lib.h>
+#include <errno.h>
+#include <stdio.h>
+
+int
+close (int filedes)
+{
+  static int stub = 0;
+  if (__mes_debug () && !stub)
+    eputs ("close\n");
+  stub = 1;
+  errno = 0;
+  return 0;
+}
diff --git a/lib/stub/rmdir.c b/lib/stub/rmdir.c
new file mode 100644
index 00000000..ded6df21
--- /dev/null
+++ b/lib/stub/rmdir.c
@@ -0,0 +1,34 @@
+/* -*-comment-start: "//";comment-end:""-*-
+ * GNU Mes --- Maxwell Equations of Software
+ * Copyright © 2019 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
+ *
+ * This file is part of GNU Mes.
+ *
+ * GNU Mes is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or (at
+ * your option) any later version.
+ *
+ * GNU Mes is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+#include <mes/lib.h>
+#include <errno.h>
+#include <unistd.h>
+
+int
+rmdir (char const *file_name)
+{
+  static int stub = 0;
+  if (__mes_debug () && !stub)
+    eputs ("rmdir\n");
+  stub = 1;
+  errno = 0;
+  return 0;
+}
diff --git a/lib/stub/stat.c b/lib/stub/stat.c
new file mode 100644
index 00000000..85514f23
--- /dev/null
+++ b/lib/stub/stat.c
@@ -0,0 +1,35 @@
+/* -*-comment-start: "//";comment-end:""-*-
+ * GNU Mes --- Maxwell Equations of Software
+ * Copyright © 2019 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
+ *
+ * This file is part of GNU Mes.
+ *
+ * GNU Mes is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or (at
+ * your option) any later version.
+ *
+ * GNU Mes is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+#include <mes/lib.h>
+#include <errno.h>
+#include <stdio.h>
+#include <sys/stat.h>
+
+int
+stat (char const *file_name, struct stat *statbuf)
+{
+  static int stub = 0;
+  if (__mes_debug () && !stub)
+    eputs ("stat\n");
+  stub = 1;
+  errno = 0;
+  return 0;
+}