patched tests-driver.scm