--- a/configure	2020-05-17 17:46:29.826822055 +0200
+++ b/configure	2020-05-17 17:47:37.699808615 +0200
@@ -22,7 +22,7 @@
 gmp='auto'
 perf='no'
 
-ar='ar'
+ar="${AR}"
 ocaml='ocaml'
 ocamlc='ocamlc'
 ocamlopt='ocamlopt'