Put rename-kernel back

(cherry picked from commit 67144640f65e065b1695819cb184f17d907bed0c)
(cherry picked from commit a7bb5675054501469f60bb32cc7bcc26608ad735)

diff --git a/zygo/do b/zygo/do
index 052a6d4004a437ef27e4f54f73755787552502f6..672c12c221d81bf7b98e8ba61e05f3fac293b66d 100755 (executable)
--- a/zygo/do
+++ b/zygo/do
@@ -3,6 +3,9 @@ set -axP
 ORIG_PATH="$PATH"
 PATH="$PWD/zygo:$ORIG_PATH"
 
+# Rename the kernel directory
+rename-kernel
+
 # Reread $PWD
 cd .
 PATH="$PWD/zygo:$ORIG_PATH"