adapt to bash 4.3;