ASTDumper.cpp: Appease g++, for now.