Update to latest kyoto api