Upgrade to use core library version 0.80.1
Merge pull request #607 from realm/ks-use-core-ver-0.80.1

Upgrade to use core library version 0.80.1