Fixes https://github.com/aspnet/KRuntime/issues/910

@ChengTian @muratg
Fixed with the updated PR.