Delete IndentingOutputStreambuf.h