fix build with last rust/master