Pulled down update to rust-core