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