diff --git a/common-sw.nix b/common-sw.nix
index 9f49c13..6d365e2 100644
--- a/common-sw.nix
+++ b/common-sw.nix
@@ -40,7 +40,8 @@
     ghc-mod
 
     # emacs
-    emacs
+    # emacs
+    emacsPackages.cask
     ghostscript # for auctex
     aspell
 
diff --git a/common.nix b/common.nix
index 3036695..a6dd36b 100644
--- a/common.nix
+++ b/common.nix
@@ -42,6 +42,7 @@
 
   boot.kernel.sysctl = {
     "kernel.perf_event_paranoid" = "0";
+    "kernel.kptr_restrict" = pkgs.lib.mkForce "0";
 
     # IntelliJ
     "fs.inotify.max_user_watches" = 524288;
diff --git a/large-sw.nix b/large-sw.nix
index 6ff6c07..7372fff 100644
--- a/large-sw.nix
+++ b/large-sw.nix
@@ -14,6 +14,18 @@
     atom
 
     coq_8_5
+
+    myemacs
+
+    # cargo rustc
   ] ++ (with aspellDicts; [ en de fr nl ]);
 
+  nixpkgs.config.packageOverrides = pkgs: with pkgs; {
+    myemacs = emacs25.override {
+      withGTK2 = false;
+      withGTK3 = true;
+      withXwidgets = true;
+    };
+  };
+
 }
diff --git a/theba.nix b/theba.nix
index 716c174..9dfb3e9 100644
--- a/theba.nix
+++ b/theba.nix
@@ -67,6 +67,6 @@
 
   # boot.kernelPackages = pkgs.lib.mkOverride 10 pkgs.linuxPackages;
 
-  time.timeZone = pkgs.lib.mkOverride 10 "US/Eastern";
+  # time.timeZone = pkgs.lib.mkOverride 10 "US/Eastern";
 
 }