Index: tools/ew.py
===================================================================
--- tools/ew.py	(revision 663f445f6ae6d51eff8cb7bcc345d4a411d3ff7e)
+++ tools/ew.py	(revision edb57bc6e15358d5e60d694a899002cba9f8acd0)
@@ -1,3 +1,3 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 #
 # Copyright (c) 2013 Jakub Jermar