Fix setting 'kr' theme

The 'kr' theme has a non-standard naming convention when compared to the
other themes. I should probably report this to the Ace folks. Anyway,
I've added some code which makes a check and then sets the name
accordingly.