Download binary file, alias20.0.stdout