Fix problem in bash4