bugfix for pdksh