cd C:\ActiveTcl\bin
pexports tcl86.dll > tcl86.def
dlltool --as-flags=--64 -m i386:x86-64 -k --output-lib libtcl86.a --input-def tcl86.def