fix windows bug and clippy #198

Closed dberthault closed 1 month ago