Add prebuilt toks binaries for Linux 64bit and Windows and use them
if they work - otherwise try to use any toks already on the system path.