diff -r b579a5cb53d1 -r c5a2e4ee7fb8 config/backend.in
--- a/config/backend.in	Thu Apr 01 19:45:28 2010 +0200
+++ b/config/backend.in	Mon Jul 26 00:07:17 2010 +0200
@@ -16,3 +16,7 @@
 config BACKEND_KERNEL
     string
     option env="CT_BACKEND_KERNEL"
+
+config BACKEND_LIBC
+    string
+    option env="CT_BACKEND_LIBC"