pdksh is a transitional dummy package for mksh, migrate to it