bugfix in bash configuration