Download binary file, libtinytest.so