diff --git a/Config.in b/Config.in
index fffd287..7378fbc 100644
--- a/Config.in
+++ b/Config.in
@@ -44,6 +44,8 @@
 
 endmenu
 
+source generated/Config.probed
+
 menu "Toys"
 source generated/Config.in
 endmenu