Make symbol URL configurable, speed up symbol loading