fix boot2docker instructions