KoRE: added recent KoRE.lib and headers