FAKE uses ToolsVersion=4.0