diff --git a/sidekick.opam b/sidekick.opam
index 59f48965..de6d9d57 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -18,6 +18,9 @@ depends: [
   "ocaml" { >= "4.03" }
   "alcotest" {with-test}
 ]
+depopts: [
+  "mtime"   # for profiling stuff
+]
 tags: [ "sat" "smt" ]
 homepage: "https://github.com/c-cube/sidekick"
 dev-repo: "git+https://github.com/c-cube/sidekick.git"