updates for latest rustf