Random state file will be overwritten to avoid naming issues