More pdksh workarounds