diff --git a/tools/make.py b/tools/make.py
index 3b7bf9d94e..bf50685b85 100644
--- a/tools/make.py
+++ b/tools/make.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 # vim: set fileencoding=utf-8 :
 
 # make.py