diff --git a/COMPILED/atari.z3                                                             b/COMPILED/atari.z3
similarity index 100%
rename from COMPILED/atari.z3                                                            
rename to COMPILED/atari.z3
diff --git a/COMPILED/coco.z3                                                             b/COMPILED/coco.z3
similarity index 100%
rename from COMPILED/coco.z3                                                            
rename to COMPILED/coco.z3
diff --git a/COMPILED/j1.z3                                                             b/COMPILED/j1.z3
similarity index 100%
rename from COMPILED/j1.z3                                                            
rename to COMPILED/j1.z3
diff --git a/COMPILED/non-atari.z3                                                             b/COMPILED/non-atari.z3
similarity index 100%
rename from COMPILED/non-atari.z3                                                            
rename to COMPILED/non-atari.z3
diff --git a/COMPILED/reg.z3                                                             b/COMPILED/reg.z3
similarity index 100%
rename from COMPILED/reg.z3                                                            
rename to COMPILED/reg.z3
diff --git a/COMPILED/seastalker.z3                                                             b/COMPILED/seastalker.z3
similarity index 100%
rename from COMPILED/seastalker.z3                                                            
rename to COMPILED/seastalker.z3
diff --git a/COMPILED/tandy.z3                                                             b/COMPILED/tandy.z3
similarity index 100%
rename from COMPILED/tandy.z3                                                            
rename to COMPILED/tandy.z3