diff -r 941294c6fcf1 -r 1f2fec4c1ed4 config/debug.in
--- a/config/debug.in	Mon Oct 13 20:35:18 2008 +0000
+++ b/config/debug.in	Thu May 03 21:09:19 2012 +0200
@@ -1,3 +1,3 @@
 menu "Debug facilities"
-source config.gen/debug.in
+source "config.gen/debug.in"
 endmenu