Use the ksh path provided by shells/ksh93 in ports.