Download binary file, prt1eval.ok