added script to probe the bash bug