Checking out vagrant