fix linux no /bin/ksh issue