Fix typo in INSTALL.md

Signed-off-by: Henner Zeller <h.zeller@acm.org>

INSTALL.md

diff --git a/INSTALL.md b/INSTALL.md
index 48a194c..6c689f2 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -13,7 +13,7 @@
 
 * Please install the following package updates:
 
-   * sudo apt-get install build-essential pkg-config tcsh swig uuid-dev libgoogle-perftools-dev python3 python3-dev
+   * sudo apt-get install build-essential pkg-config tclsh swig uuid-dev libgoogle-perftools-dev python3 python3-dev
 
    * If you don't intent to change the grammar:
      * sudo apt-get install default-jre