diff --git a/config/companion_libs.in b/config/companion_libs.in
index 86c9706b..64cf1381 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -16,7 +16,6 @@ config WRAPPER_NEEDED
 
 config GMP
     bool
-    prompt "GMP"
     select COMPLIBS
     select WRAPPER_NEEDED
     help
@@ -34,7 +33,6 @@ config GMP
 
 config MPFR
     bool
-    prompt "MPFR"
     select GMP
     select COMPLIBS
     select WRAPPER_NEEDED
@@ -53,7 +51,6 @@ config MPFR
 
 config PPL
     bool
-    prompt "PPL"
     select GMP
     select MPFR
     select COMPLIBS
@@ -68,7 +65,6 @@ config PPL
 
 config CLOOG
     bool
-    prompt "GLooG/PPL"
     select GMP
     select MPFR
     select PPL
@@ -84,7 +80,6 @@ config CLOOG
 
 config MPC
     bool
-    prompt "MPC"
     select GMP
     select MPFR
     select PPL
@@ -102,7 +97,6 @@ config MPC
 
 config LIBELF
     bool
-#    prompt "libelf"
     select COMPLIBS
     select WRAPPER_NEEDED
     help