Make default symbol path configurable