upgrade mksh to R38c (patch from #5332)