ci: Remove the workaround for CI_AR from ci_verify_makefiles.sh

ci/ci_verify_makefiles.sh

diff --git a/ci/ci_verify_makefiles.sh b/ci/ci_verify_makefiles.sh
index 97369ba..a0db938 100755
--- a/ci/ci_verify_makefiles.sh
+++ b/ci/ci_verify_makefiles.sh
@@ -110,10 +110,7 @@
         all_make_vars+=(CPPFLAGS="$CI_CPP_FLAGS")
     }
     [[ $CI_AR ]] && {
-        all_make_vars+=(
-            AR="${CI_AR:-ar}"
-            AR_RC="${CI_AR:-ar} rc"
-        )
+        all_make_vars+=(AR="$CI_AR")
     }
     [[ $CI_RANLIB ]] && {
         all_make_vars+=(RANLIB="$CI_RANLIB")