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