Export a utility function to get the default state file