Small tidy-up in prebuild-driver.tcl.