diff --git a/tools/export/exporters.py b/tools/export/exporters.py
index 984022b0f5..9cdd2083b6 100644
--- a/tools/export/exporters.py
+++ b/tools/export/exporters.py
@@ -150,9 +150,9 @@ class Exporter(object):
         if config_header:
             def is_config_header(f):
                 return f.path == config_header
-            return filter(
+            return list(filter(
                 is_config_header, self.resources.get_file_refs(FileType.HEADER)
-            )[0]
+            ))[0]
         else:
             return None