external-mksh