make saved symbols configurable from a file