--- device/lib/pic16/Makefile.common.in.orig	Mon Nov 27 15:28:25 2006
+++ device/lib/pic16/Makefile.common.in	Mon Nov 27 15:28:31 2006
@@ -16,7 +16,7 @@
 ### $Id: Makefile.common.in 4148 2006-05-01 20:47:12Z tecodev $
 ###
 
-SHELL = bash
+SHELL = ksh
 
 #################################################
 ### verboseness
