Commit bdf1cf770f2b72b4c23c37b5b98984349450fd92

Thomas de Grivel 2022-12-25T20:02:12

fix configure