Download binary file, aconfig.a