Made the dist used by `settings.js` more reliable