Adapt to current rust
Fix format strings