diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b0c1d1c..fab9aea 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -35,9 +35,7 @@ jobs:
               . configure  # sourcing mandatory
               coq_version
             endGroup
-            # Note: Replace with "if coq_native_compiler"
-            # to also test with Coq 8.12.1+
-            if coq_native_compiler_default; then
+            if coq_native_compiler; then
               startGroup "Workaround permission issue"
                 sudo chown -R coq:coq .  # <--(§)
               endGroup
diff --git a/configure b/configure
index 1c5c6fc..8dd416d 100755
--- a/configure
+++ b/configure
@@ -36,9 +36,7 @@ coq_native_compiler() {
 }
 
 main() {
-    # Note: Replace with "if coq_native_compiler"
-    # to also test with Coq 8.12.1+
-    if coq_native_compiler_default; then
+    if coq_native_compiler; then
         echo 'coq-native support enabled!' >&2
         sed -e 's/;coq-native-disabled; \?//' "$dir/src/dune.in" > "$dir/src/dune"
     else