do not rename kr_theme to kr during the build

@lennartcl i've added this renaming to work with build system of old cloud9, but apparently it was a stupid idea