Use theme_enable before setting the default theme