fixed broken docker if boot2docker had not yet been initialized