diff -r f3654416d178 -r 9fac559c3d55 refresh-auth
--- a/refresh-auth	Fri Apr 18 12:36:36 2008 +0100
+++ b/refresh-auth	Mon Apr 21 12:37:33 2008 +0100
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # WARNING
 # This script completely destroys your ~/.ssh/authorized_keys