Fix bashism (see #234)