Github doesn't allow large binary downloads.