diff --git a/tests/misc/unzip.ae.zip b/tests/misc/unzip.ae.zip
index db06f07f4..45f4ca303 100644
Binary files a/tests/misc/unzip.ae.zip and b/tests/misc/unzip.ae.zip differ
diff --git a/tests/misc/unzip.smt2.zip b/tests/misc/unzip.smt2.zip
index 5ebce2f7e..1b2b19380 100644
Binary files a/tests/misc/unzip.smt2.zip and b/tests/misc/unzip.smt2.zip differ