diff --git a/workspace_tools/build.py b/workspace_tools/build.py
index 2709592129..f402cb0222 100755
--- a/workspace_tools/build.py
+++ b/workspace_tools/build.py
@@ -1,4 +1,4 @@
-#! /usr/bin/env python
+#! /usr/bin/env python2
 """
 mbed SDK
 Copyright (c) 2011-2013 ARM Limited
diff --git a/workspace_tools/build_travis.py b/workspace_tools/build_travis.py
index df534b3175..46e7e6c3e8 100644
--- a/workspace_tools/build_travis.py
+++ b/workspace_tools/build_travis.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
 
 """
 Travis-CI build script
diff --git a/workspace_tools/make.py b/workspace_tools/make.py
index 932a03c125..828f3644ab 100755
--- a/workspace_tools/make.py
+++ b/workspace_tools/make.py
@@ -1,4 +1,4 @@
-#! /usr/bin/env python
+#! /usr/bin/env python2
 """
 mbed SDK
 Copyright (c) 2011-2013 ARM Limited
diff --git a/workspace_tools/singletest.py b/workspace_tools/singletest.py
index e1ee3a449f..e7caef72ca 100644
--- a/workspace_tools/singletest.py
+++ b/workspace_tools/singletest.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
 
 """
 mbed SDK