main/bash: upgrade to 4.3.025 fixes CVE-2014-6271 for good