Quick hack for download from GitHub at Mac OS X.