diff --git a/compiler2/makefile.c b/compiler2/makefile.c
index 0890db54e33584afc456493ef6ee544b6237faa1..63bedbe6ef2ed0baa785283d2e757ce7eb910c4d 100644
--- a/compiler2/makefile.c
+++ b/compiler2/makefile.c
@@ -2905,7 +2905,7 @@ static void print_makefile(struct makefile_struct *makefile)
 
       fputs("\nBASE2_GENERATED_HEADERS =", fp);
       if (makefile->gnu_make) {
-        fputs(" $(BASE2_GENERATED_SOURCES:.cc=.hh)", fp);
+          fputs(" $(BASE2_GENERATED_SOURCES:.cc=.hh)", fp);
       }
       else
         ERROR("the usage of 'Z' flag requires GNU make");
@@ -3296,15 +3296,15 @@ static void print_makefile(struct makefile_struct *makefile)
                 if (makefile->code_splitting_mode != NULL) {
                   int n_slices;
                   if (strcmp(makefile->code_splitting_mode, "-U type") == 0) {
-                    print_generated_file_name(fp, module, TRUE, "_seq.o");
-                    print_generated_file_name(fp, module, TRUE, "_set.o");
-                    print_generated_file_name(fp, module, TRUE, "_seqof.o");
-                    print_generated_file_name(fp, module, TRUE, "_setof.o");
-                    print_generated_file_name(fp, module, TRUE, "_union.o");
+                    print_generated_file_name(fp, module, TRUE, "_seq.so");
+                    print_generated_file_name(fp, module, TRUE, "_set.so");
+                    print_generated_file_name(fp, module, TRUE, "_seqof.so");
+                    print_generated_file_name(fp, module, TRUE, "_setof.so");
+                    print_generated_file_name(fp, module, TRUE, "_union.so");
                   } else if((n_slices = atoi(makefile->code_splitting_mode + 2))) {
                     for (int slice = 1; slice < n_slices; slice++) {
                       char buffer[16]; // 6 digits + 4 chars + _part
-                      sprintf(buffer, "_part_%i.o", slice);
+                      sprintf(buffer, "_part_%i.so", slice);
                       print_generated_file_name(fp, module, TRUE, buffer);
                     }
                   }
diff --git a/usrguide/referenceguide.doc b/usrguide/referenceguide.doc
index 2c49f8c46a9c7e0ab87fecb4cea50d2b3ee9df86..4c00bd524ce94bbbad3724195c4b1efaf0906771 100644
Binary files a/usrguide/referenceguide.doc and b/usrguide/referenceguide.doc differ