Bug fix: bootstrap breaks when file settings.lua is missing.
Make 'basic' the default theme.