news:gnu.bash.bug