Download binary file, decodecounter.a