diff --git a/COMPILED/demo-r15.zip b/COMPILED/demo-r15.z3                                                            
similarity index 100%
rename from COMPILED/demo-r15.zip
rename to COMPILED/demo-r15.z3                                                            
diff --git a/COMPILED/demo-r5.zip b/COMPILED/demo-r5.z3                                                            
similarity index 100%
rename from COMPILED/demo-r5.zip
rename to COMPILED/demo-r5.z3                                                            
diff --git a/COMPILED/sampler.zip b/COMPILED/sampler.z3                                                            
similarity index 100%
rename from COMPILED/sampler.zip
rename to COMPILED/sampler.z3