Fix spurious output in JSONCompilationDatabase