Use correct version of 0launch to choose versions
treebc91735f9772923e2123cb650f6f2ad305ed1b6c
-rwxr-xr-x 2718 0compile
-rw-r--r-- 3320 0compile.1
-rw-r--r-- 1600 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 781 bugs.py
-rw-r--r-- 10860 build.py
-rw-r--r-- 1596 copysrc.py
-rw-r--r-- 1421 gui.py
-rw-r--r-- 12059 gui_support.py
-rw-r--r-- 1232 include_deps.py
-rw-r--r-- 2065 publish.py
-rw-r--r-- 4113 setup.py
-rw-r--r-- 7307 support.py
drwxr-xr-x - tests