===> Cleaning for mksh-57