This is now fixed (modulo changes in file locations for the settings).