Fix macOS CI build

[argilo]

The macOS CI build began failing when macOS 14 became the default on Github Actions. I made the following changes to fix that:

• Use $(brew --prefix) to determine where Homebrew has installed packages, instead of using hard-coded paths.
• Add missing #include directives.

Also, I updated the checkout actions to version 4, which fixes deprecation warnings.