fsx was calling vfprintf twice without resetting the va_list argument