diff --git a/wscript_configure b/wscript_configure
index 6a8f866034b..afc9526db35 100644
--- a/wscript_configure
+++ b/wscript_configure
@@ -110,9 +110,9 @@ elif _exists("/etc/centos-release"): conf.env.DISTRO = "CentOS"
 elif _exists("/etc/redhat-release"):
     version = file("/etc/redhat-release").readline()
     if version.find("Red Hat Enterprise Linux Server release 6") != -1:
-        conf.env.DISTRO = RHEL6
+        conf.env.DISTRO = "RHEL6"
     elif version.find("Centos release") != -1:
-        conf.env.DISTRO = CentOS
+        conf.env.DISTRO = "CentOS"
 else: conf.env.DISTRO = "unknown"
 if conf.env.DISTRO == "unknown": c = "YELLOW"
 else: 				    c = "GREEN"