Add ksh to the bash extensions list.