Merge pull request #16092 from ethereum/circle-ci-mac-brew-fix

Fix b_osx homebrew issue

Author: nikola-matic

.circleci/osx_install_dependencies.sh

@@ -48,6 +48,8 @@ function validate_checksum {
 
 if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies
 then
+  brew uninstall temurin17
+  brew untap homebrew/homebrew-cask-versions
   brew update
   brew upgrade
   brew install cmake