Update to rust HEAD