You could swap out the theme for a working theme that has the same name of the theme you were using. i.e you use a theme called x and it doesn't work then you replace it with a theme called y with the folder renamed to x. Or you may edit the globalsettings.ini and replace the part where it says ui name (I think) with another theme.