diff --git a/COMPILED/m4-release.zip b/COMPILED/m4-release.z3                                                            
similarity index 100%
rename from COMPILED/m4-release.zip
rename to COMPILED/m4-release.z3                                                            
diff --git a/COMPILED/m4.zip b/COMPILED/m4.z3                                                            
similarity index 100%
rename from COMPILED/m4.zip
rename to COMPILED/m4.z3