Delete symbols.h