fix build with rust/master