diff --git a/tools/check_project b/tools/check_project
index 3940a91a30..e960eaa48a 100755
--- a/tools/check_project
+++ b/tools/check_project
@@ -1,6 +1,5 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python
 
-# $Id$
 '''
 Checks project permissions and php modules.
 
diff --git a/tools/upgrade b/tools/upgrade
index 90e9870b2a..c4c7f02a55 100755
--- a/tools/upgrade
+++ b/tools/upgrade
@@ -1,6 +1,5 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python
 
-# $Id$
 
 '''
 Usage: upgrade [options] project_root