Make LocalFile json serializable
Add io as known variable