fix for latest rust
fix for latest rust master