bash: Use debian patch for CVE-2014-7169