Download binary file, test-linux_x86_64.1.sancov