The attached patch contains an updated contribs-mac.sh where all occurences of WGET were replaced by CURL because the latter is installed by default on OSX.<div><br></div><div>I hope this is the normal way to provide patches... Didn't find another mail adress...</div>

<div><br></div><div><br></div>