This fixes the problem where `make check` generates files not ignored by `.gitignore`.
Attach a file by drag & drop or click to upload
