Bug 770: sync with distribution.ini