Work around libintl's vprintf macro messing with OutputFile::vprintf

This solved the errors mentioned in #286.