Proposal for #430

In case both macports and homebrew are installed, homebrew will be chosen.