Delete symbols.h~