Include header for vfprintf