/usr/bin/env is slightly more portable

diff --git a/Tools/world/world b/Tools/world/world
index 2041cf712eb66f2999c762d9fc35a490ac8979ee..a610a56accd567cfcb922ff8cb518dec6f7d7ee2 100755 (executable)
--- a/Tools/world/world
+++ b/Tools/world/world
@@ -1,4 +1,4 @@
-#! /bin/env python
+#! /usr/bin/env python
 
 """Print the long name of an Internet domain.