diff -r d4ddf19a1968 -r 073d351bdcd3 config/companion_libs/gmp.in
--- a/config/companion_libs/gmp.in	Sun Sep 13 17:51:33 2009 +0200
+++ b/config/companion_libs/gmp.in	Sun Sep 13 18:38:06 2009 +0200
@@ -3,6 +3,8 @@
 choice
     bool
     prompt "GMP version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
 
 config GMP_V_4_3_1
     bool
@@ -20,15 +22,13 @@
     bool
     prompt "4.2.2"
 
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
 endchoice
 
 config GMP_VERSION
     string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
     default "4.3.1" if GMP_V_4_3_1
     default "4.3.0" if GMP_V_4_3_0
     default "4.2.4" if GMP_V_4_2_4
     default "4.2.2" if GMP_V_4_2_2
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!