diff --git a/ghci b/ghci old mode 100644 new mode 100755