settings.js: quickfix for mobiles