restore symbol headers