diff --git a/bin/checkVersions.sc b/bin/checkVersions.sc
index b19cfee..02eae4d 100755
--- a/bin/checkVersions.sc
+++ b/bin/checkVersions.sc
@@ -17,7 +17,7 @@ def runGit(args: ISZ[String], path: Os.Path): String = {
 }
 
 val url = runGit(ISZ("git", "config", "--get", "remote.origin.url"), SIREUM_HOME)
-if (url != "https://github.com/sireum/kekinian.git" && url != "https://github.com/sireum/kekinian") {
+if (url != "https://github.com/sireum/kekinian.git" && url != "https://github.com/sireum/kekinian" &&  url != "git@github.com:sireum/kekinian.git") {
   if (Os.env("GITLAB_CI").isEmpty && Os.env("GITHUB_ACTIONS").isEmpty) {
     println(s"Script requires SIREUM_HOME to point to a kekinian checkout rather than ${url}: ${(Os.slashDir / "checkVersions.sc").toUri}")
   }
diff --git a/jvm/src/test b/jvm/src/test
index ea50a00..8bb0cd2 160000
--- a/jvm/src/test
+++ b/jvm/src/test
@@ -1 +1 @@
-Subproject commit ea50a00c4a31f014c36b749d8ed575ecbad02f75
+Subproject commit 8bb0cd2762043d80ada54b6f1a9649193776daff