Fix problem with old versions of bash