Commit 5519c91e017e832a097f07413e71380d9a0cd7a5

Thomas de Grivel 2023-08-12T14:35:26

fix configure