sourced helper functions in options.cfg, which everybody else already sources