reverted changes in mozilla/config.py