Patching BASH for shellshock vulnerability