Code Contracts with WPF references (VS Beta 1)

unfortunately, can't compile solution. i'm getting an error:

--- error list ---

error 1 unresolved assembly reference not allowed: windowsbase.
c:\users\janka jános\documents\visual studio 10\projects\vvmf.core\vvmf.core.wpf.mvvm\ccrewrite vvmf.core.wpf.mvvm

error 2 the command ""c:\program files (x86)\microsoft\contracts\bin\ccrewrite" /level:4 /rewrite  /libpaths:"c:\program files (x86)\microsoft\contracts\contracts;c:\program files (x86)\reference assemblies\microsoft\framework\.netframework\v4.0\;c:\users\janka jános\documents\visual studio 10\projects\vvmf.core\vvmf.core\bin\debug\ " "vvmf.core.wpf.mvvm.dll"" exited code -1. vvmf.core.wpf.mvvm

--- output ---

ccrewrite : error : unresolved assembly reference not allowed: windowsbase.
  system.invalidoperationexception: unresolved assembly reference not allowed: windowsbase.
     @ system.compiler.ir2md.getassemblyrefindex(assemblynode assembly)
     @ system.compiler.ir2md.gettyperefindex(typenode type)
     @ system.compiler.ir2md.visitreferencedtype(typenode type)
     @ system.compiler.ir2md.visitmethod(method method)
     @ system.compiler.ir2md.visit(node node)
     @ system.compiler.ir2md.visitclass(class class)
     @ system.compiler.ir2md.visit(node node)
     @ system.compiler.ir2md.visitmodule(module module)
     @ system.compiler.ir2md.setupmetadatawriter(string debugsymbolslocation)
     @ system.compiler.ir2md.writepe(module module, string debugsymbolslocation, binarywriter writer)
     @ system.compiler.writer.writepe(string location, boolean writedebugsymbols, module module, boolean delaysign, string keyfilename, string keyname)
     @ system.compiler.module.writemodule(string location, boolean writedebugsymbols)
     @ microsoft.contracts.foxtrot.driver.program.mikesarchitecture(assemblynode assemblynode, contractnodes contractnodes)
     @ microsoft.contracts.foxtrot.driver.program.internalmain(string[] args)
  elapsed time: 5465ms
c:\program files (x86)\microsoft\contracts\msbuild\v4.0\microsoft.codecontracts.targets(123,9): error msb3073: command ""c:\program files (x86)\microsoft\contracts\bin\ccrewrite" /level:4 /rewrite  /libpaths:"c:\program files (x86)\microsoft\contracts\contracts;c:\program files (x86)\reference assemblies\microsoft\framework\.netframework\v4.0\;c:\users\janka jános\documents\visual studio 10\projects\vvmf.core\vvmf.core\bin\debug\ " "vvmf.core.wpf.mvvm.dll"" exited code -1.

of course, windowsbase added solution.

can check see windowsbase.dll on machine? in 1 of directories listed in /libpaths argument ccrewrite? if not, have add directory libpaths pane in code contracts part of property page. please let me know if works you. sorry problem!

DevLabs  >  Code Contracts