why would you do that?? just edit themeselect.rc and put a working theme name in there.