diff --git a/script/zip-symbols.py b/script/zip-symbols.py
index be6433130c68..13c3848e7c41 100755
--- a/script/zip-symbols.py
+++ b/script/zip-symbols.py
@@ -1,3 +1,5 @@
+#!/usr/bin/env python
+
 import glob
 import os
 import sys