[Hackbraten]

Thanks for the tip, I didn’t think of that! I need to use Homebrew from two different users, too. Definitely going to try this.