Fix bug in driver.
Import kraken benchmark.