Slight improvement to our CMake code for retrieving a binary file.