Don't check if boot2docker ISO has been downloaded