Index: tools/config.py
===================================================================
--- tools/config.py	(revision 84266669dc470a1e1af6b9662943b763a810e629)
+++ tools/config.py	(revision e94f73024eba70717a6d02d1511d2440ec61e6cd)
@@ -258,6 +258,6 @@
 				outdf.write(' -D%s' % varname)
 		else:
-			outmc.write('/* %s */\n#define %s %s\n\n' % (name, varname, default))
-			outdf.write(' -D%s=%s' % (varname, default))
+			outmc.write('/* %s */\n#define %s %s\n#define %s_%s\n\n' % (name, varname, default, varname, default))
+			outdf.write(' -D%s=%s -D%s_%s' % (varname, default, varname, default))
 	
 	outmk.write('REVISION = %s\n' % revision)