Our modifications and additional packages for homebrew