bash+ksh93 -> dash