diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 1a3d42bac..e66fab2a4 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -21,7 +21,7 @@
       ]
     },
     "microsoft.coyote.cli": {
-      "version": "1.7.10",
+      "version": "1.7.11",
       "commands": [
         "coyote"
       ]
diff --git a/CITATION.cff b/CITATION.cff
index 68516b8a9..cf48bd05c 100644
--- a/CITATION.cff
+++ b/CITATION.cff
@@ -9,7 +9,7 @@ authors:
 - family-names: "Lal"
   given-names: "Akash"
 title: "Coyote"
-version: 1.7.10
+version: 1.7.11
 date-released: 2020-02-28
 url: "https://github.com/microsoft/coyote"
 preferred-citation:
diff --git a/Common/version.props b/Common/version.props
index a53b5faa5..a7f29204a 100644
--- a/Common/version.props
+++ b/Common/version.props
@@ -2,7 +2,7 @@
 <!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix. -->
 <Project>
   <PropertyGroup>
-    <VersionPrefix>1.7.10</VersionPrefix>
+    <VersionPrefix>1.7.11</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>
diff --git a/Scripts/encode_nuget_sign_certificate.ps1 b/Scripts/encode_nuget_sign_certificate.ps1
index c0ae68f3c..e5f5bcd19 100644
--- a/Scripts/encode_nuget_sign_certificate.ps1
+++ b/Scripts/encode_nuget_sign_certificate.ps1
@@ -22,7 +22,7 @@ az keyvault secret download --file $result_file --encoding base64 --id $url
 
 $file_content_bytes = Get-Content $result_file -AsByteStream
 $base64_value = [System.Convert]::ToBase64String($file_content_bytes)
-$base64_value | clip
+Set-Clipboard $base64_value
 
 Remove-Item $result_file