Download binary file, libtsd32.a