diff -r 8816c917979c -r b72591087495 schemadiff.py
--- a/schemadiff.py	Mon Dec 09 13:57:31 2013 +0100
+++ b/schemadiff.py	Tue Dec 10 11:39:57 2013 +0100
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3.2
+#!/usr/bin/env python3
 #
 # Print differences in database schema.
 #