We use bash shell to run programs (rather than sh)