Download binary file, make_proof_makefiles.cpython-36.pyc