cmdtube doesn't have to depend directly on python.