diff --git a/muttrc b/muttrc
index 8d9985a..4a0379d 100644
--- a/muttrc
+++ b/muttrc
@@ -33,3 +33,5 @@ set use_envelope_from=yes
 set realname="Gabriel Ebner"
 alternates gebner@gebner.org gebner@2b7e.org ge@gabrielebner.at gabriel.ebner@tuwien.ac.at
 set reverse_name
+
+set mbox_type=maildir
diff --git a/sbt/0.13/plugins/ensime.sbt b/sbt/0.13/plugins/ensime.sbt
index e5ed226..ba13770 100644
--- a/sbt/0.13/plugins/ensime.sbt
+++ b/sbt/0.13/plugins/ensime.sbt
@@ -1,3 +1,3 @@
 resolvers += Resolver.sonatypeRepo("snapshots")
 
-addSbtPlugin("org.ensime" % "sbt-ensime" % "1.12.12")
+// addSbtPlugin("org.ensime" % "sbt-ensime" % "1.12.13")
diff --git a/spacemacs b/spacemacs
index 2aee295..6b075c9 100644
--- a/spacemacs
+++ b/spacemacs
@@ -221,6 +221,9 @@ you should place your code here."
   (when (file-exists-p twelf-root)
     (load-file (concat twelf-root "emacs/twelf-init.el")))
 
+  (setq spacemacs-default-jump-handlers
+        (remove 'evil-goto-definition spacemacs-default-jump-handlers))
+
   (setq lean-rootdir "/home/gebner/lean")
   (setq flycheck-display-errors-function nil) ; disable annoying flycheck tooltips
   (when (file-exists-p lean-rootdir)