diff --git a/.gitignore b/.gitignore
index f3d183b..63e6864 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /z3-*.tar.gz
 /Z3-*.tar.gz
+/Z3_cmake_files.tar.gz
diff --git a/Z3_cmake_files.tar.gz b/Z3_cmake_files.tar.gz
deleted file mode 100644
index 4774990..0000000
Binary files a/Z3_cmake_files.tar.gz and /dev/null differ
diff --git a/sources b/sources
index a0be432..e238028 100644
--- a/sources
+++ b/sources
@@ -1 +1,2 @@
 SHA512 (z3-4.8.8.tar.gz) = a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f
+SHA512 (Z3_cmake_files.tar.gz) = b89831c4c3714d16908109057a886e8a138ede0f5e08a38de766ff49c7c54115a48f7e1c88fe120bf0a28aa7fbe2c0bef7ae8a19d0bcadfc758638ded2c32161