libc improvements: Clean up printf and add FILE type