fix bashism for pull #128