Finish up stdio_file