Update to Bash 4.2.42