Patch bash 4.2 to patch 51