or you could just change the theme value from the non-existant one to a new working theme, that value is in: "$themesdir$themeselect.rc"