SmartCrawl and W3-total-cache ObjectCache problem

Hello, in your file:
wpmu-dev-seo/wds-files/wds-core/admin/wds-core-taxonomy.php

on line 86+87, you have this

if ( defined('W3TC_DIR') ) {
require_once W3TC_DIR . '/lib/W3/ObjectCache.php';

I have w3tc installed but i don't even have that W3-folder in my lib in w3tc. So i cant save menus etc, solution was to comment away line 87,88 and 90. This could perhaps be some change in latest w3tc update? Anyways, thought you should know