Index: utils/installall.sh
==================================================================
--- utils/installall.sh
+++ utils/installall.sh
@@ -12,11 +12,13 @@
 # 
 #  This program is distributed WITHOUT ANY WARRANTY; without even the
 #  implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
 #  PURPOSE.
 
-if [[ $OPTION=="" ]]; then
+# echo OPTION=$OPTION
+
+if [[ $OPTION == "" ]]; then
     export OPTION=std
 fi
 
 echo You may need to do the following first:
 echo sudo apt install libreadline-dev
@@ -66,10 +68,18 @@
 	CDVER=5.11.1
 	IUPVER=3.22
 	IMVER=3.12
 #	CHICKEN_VERSION=4.12.0
 #	CHICKEN_BASEVER=4.12.0
+	;;
+Ubuntu-16.04-x86_64-new)
+	KTYPE=32
+	CDVER=5.11.1
+	IUPVER=3.22
+	IMVER=3.12
+	CHICKEN_VERSION=4.13.0
+	CHICKEN_BASEVER=4.13.0
 	;;
 Ubuntu-16.04-i686-std)
 	KTYPE=32
 	CDVER=5.11.1
 	IUPVER=3.22