bash: update to 4.2 patchlevel 042.