use Bash shell for script execution