 I can download this file with `wget` in a single command, but I don't know why the file is always empty when built with CMake.