curl from the host operating system to avoid issues with boot2docker sometimes not being able to see github