settings.prod.js doesn't work for dev.