using curl instead of wget to read from the web (thanks to Mac OS X Yosemite)