diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 1fb9cd6d14..da206b96b3 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -183,7 +183,7 @@ jobs:
                    sudo apt-get update
                    sudo apt-get install "${packages[@]}"
                elif [ "$RUNNER_OS" == "macOS" ]; then
-                   brew install gmp readline zlib
+                   brew install gmp readline zlib automake
                else
                    echo "$RUNNER_OS not supported"
                    exit 1
diff --git a/bin/BuildPackages.sh b/bin/BuildPackages.sh
index 6297250b61..9f91e2ee12 100755
--- a/bin/BuildPackages.sh
+++ b/bin/BuildPackages.sh
@@ -186,6 +186,11 @@ run_configure_and_make() {
   if [[ -x autogen.sh && ! -x configure ]]
   then
     ./autogen.sh
+    # (Hopefully) temporary fix for Autoconf 2.71
+    if [[ $(which autoreconf) && ! -x config.sub ]]
+    then
+      autoreconf -f -i
+    fi
   fi
   if [[ -x configure ]]
   then