Commit dc5ad5375c37db7b2114d8f028d13ee496a3abb9

Thomas de Grivel 2023-11-15T00:29:17

fix configure