
Fixes https://github.com/Homebrew/homebrew-core/issues/67075. This implements @fxcoudert's suggestion in the issue linked above.
Fixes https://github.com/Homebrew/homebrew-core/issues/67075. This implements @fxcoudert's suggestion in the issue linked above.