fix boot2docker