Ignore SSL certificates when grabbing a raw file from github (something changed
with their certificates today, causing wget to bomb out).