bash: Update to 4.2-p42