diff --git a/bucket/coq.json b/bucket/coq.json
index 4bcb762fe9..2e794dbda6 100644
--- a/bucket/coq.json
+++ b/bucket/coq.json
@@ -13,7 +13,8 @@
     "bin": [
         "bin\\coqtop.exe",
         "bin\\coqc.exe",
-        "bin\\coqchk.exe"
+        "bin\\coqchk.exe",
+        "bin\\coqidetop.opt.exe"
     ],
     "shortcuts": [
         [