updated driver with dodgey workaround for tclInt.h (cloned a decl, which is evil but works portably until scons fixed
trunk/tcltk/interface/Driver.c