change vagrant to use boot2docker