Improved patch against Shellshock