Fix bashism in shell script