Fixed bug with backward slashes in state file names