Delete symbol.h