Make it compatible with ksh