Compatibility with bash 3.2