doltlibtool
doltcompile
