Proposed fix for bash CVE-2014-7169