React to aspnet/KRuntime#65