Oops: not all systems have bash under /bin.