Wrap C std file io into File
Use the new File API