ReadSymbols from archive in main driver too.