- posixsh patch seems to work with different ksh variants now