driver.sh can not accept command line arguments to control whether building or running (defaults to both)