I'd missed a version update for new teiid designer