Converted to standalone printf and added sort-of fixed version of vfprintf.c