Fix symbol server caching and downloads #243

Closed pfitzseb closed 2 years ago