script changed: get dumps state to state.dat, set gets it to migrate