fix state file naming