Fix config.py's missing symbols