overriding "ToolsVersion" in csproj files ("4.0" vs. "12.0") to work around mono build bug