KoRE: updated current KoRE version