substructio is now a separate git repository