Update command lines for latest changes to 'smten' tool.