diff --git a/configure b/configure
index aa51069..3ddc6b4 100755
--- a/configure
+++ b/configure
@@ -370,7 +370,7 @@ if test $enable_prof -eq 1
 then
     echo -n "checking whether to enable profiling: "
     case "${overs}" in
-	4.08.[1-9]*|4.09.*|4.[1-9]*)
+	4.08.[1-9]*|4.09.*|4.[1-9]*|[5-9]*|[1-9][0-9]*)
 	    echo "only available up to OCaml 4.08.0 (<= ${overs})";
 	    enable_prof=0;;
 	*)
diff --git a/opam/opam b/opam/opam
index 016744e..1b0bc3a 100644
--- a/opam/opam
+++ b/opam/opam
@@ -18,6 +18,7 @@ depends: [
   "conf-gmp"
   "conf-mpfr"
   "conf-perl" {build}
+  "bigarray-compat"
 ]
 conflicts: [
   "mlgmp"