bash: use official patch for shellshock