diff --git a/tools/makefile.py b/tools/makefile.py
index 97001892c998915fdd72c39c1d407e4185e559a3..78dbd2228a76ec07ed1cb596a86bf484f304332e 100644
--- a/tools/makefile.py
+++ b/tools/makefile.py
@@ -51,11 +51,11 @@ def TargetMakefile(env):
     if 'CXXFLAGS' in dir(rtconfig):
         make.write('CXXFLAGS :=%s' % (rtconfig.CXXFLAGS))
         make.write('\n')
-    if env.has_key('LIBS'):
+    if ('LIBS' in env):
         make.write('EXTERN_LIB := ')
         for tlib in env['LIBS']:
             make.write('-l%s ' % (tlib))
-        if env.has_key('LIBPATH'):
+        if ('LIBPATH' in env):
             for tlibpath in env['LIBPATH']:
                 make.write('-L%s ' % (tlibpath))
         make.write('\n')