Download binary file, check-paths.out