Download binary file, gpu-sched.ko