Delete symboltable.h