Bash backport for 444