Update KRE to 0.1-alpha-build-0535