ensure that dumbo-generate saves state too