Homebrew/homebrew — pull request #27893 by avsm (2014-03-26 20:26:21+00:00)
Title: Fix gringo compilation under Mountain Lion as well as later versions

This patch is from @dbuenzli and is a followup to the problems
reported in #25823.