These vfprintfs are being used as if they were printfs. Fix that
Merge branch 'printf'