check in settings_*.js.dist