--- ./asciidoc.py.orig	2013-05-20 13:25:45.362337047 +0200
+++ ./asciidoc.py	2013-05-20 13:25:55.524336439 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
 """
 asciidoc - converts an AsciiDoc text file to HTML or DocBook