Download binary file, doc-no-symbol.out