removed mentions of now deleted symbol.h file... -sai