diff --git a/tools/python/setup.py b/tools/python/setup.py
index 0b55ce7543..25c87c3b91 100644
--- a/tools/python/setup.py
+++ b/tools/python/setup.py
@@ -59,15 +59,10 @@ ptsname = Extension("ptsname",
                libraries          = libraries,
                sources            = [ "ptsname/ptsname.c" ])
 
-modules = [ xc, xs, ptsname ]
+modules = [ xc, xs, ptsname, acm, flask ]
 if os.uname()[0] == 'SunOS':
     modules.append(scf)
 
-if os.environ.get('XEN_SECURITY_MODULE') == 'acm':
-    modules.append(acm)
-if os.environ.get('XEN_SECURITY_MODULE') == 'flask':
-    modules.append(flask)
-
 setup(name            = 'xen',
       version         = '3.0',
       description     = 'Xen',