Update settings.dist.js