update for Rust commit 62d7d0079f