diff --git a/Cask b/Cask
new file mode 100644
index 000000000..e69de29bb
diff --git a/ci/simple-tests/coq-test-coqtop-unavailable.el b/ci/simple-tests/coq-test-coqtop-unavailable.el
index 662823891..5abb8fa0c 100644
--- a/ci/simple-tests/coq-test-coqtop-unavailable.el
+++ b/ci/simple-tests/coq-test-coqtop-unavailable.el
@@ -18,7 +18,7 @@
   (setq coq-prog-name "unavailable-program")
 
   ;; ensure coq-prog-name cannot be found
-  (should (not (locate-file coq-prog-name exec-path)))
+  (should (locate-file coq-prog-name exec-path))
 
   (find-file "simple.v")
   (coq-prog-args))
diff --git a/etc/testsuite/#simple.v# b/etc/testsuite/#simple.v#
new file mode 100644
index 000000000..6e4f37951
--- /dev/null
+++ b/etc/testsuite/#simple.v#
@@ -0,0 +1 @@
+y+
\ No newline at end of file
diff --git a/etc/testsuite/.#simple.v b/etc/testsuite/.#simple.v
new file mode 120000
index 000000000..d7096cbd3
--- /dev/null
+++ b/etc/testsuite/.#simple.v
@@ -0,0 +1 @@
+axeld@axeld.68902:1711481515
\ No newline at end of file