These should be converted to `.sha512` files by CMake machinery, but
developers that miss running `SetupForDevelopment.sh` may accidentally
end up committing the files directly.