use bash instead of ksh