version 0.9 submodules
version 1.0: now uses gt v8.0-src