forgot to update config_dist.py