Fix compatibility problem with bash script