diff --git a/tools/provision.py b/tools/provision.py
index 0f71a9dde9..c84cb2dd29 100755
--- a/tools/provision.py
+++ b/tools/provision.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python
 from __future__ import print_function
 import os
 import sys