--- main.cxx	Wed Jun  3 13:18:44 1998
+++ /home/andy/tmp/wrk/main.cxx	Wed Oct 28 22:12:00 1998
@@ -309,7 +309,12 @@
 
     compile_system_library = TRUE;
     token::input(dprintf("%s%s", prog_path, 
+#ifdef PREFIX
+			 turbo_pascal ? PREFIX "/share/ptoc/tptoc.pas" :
+                                        PREFIX "/share/ptoc/ptoc.pas")); 
+#else
 			 turbo_pascal ? "tptoc.pas" : "ptoc.pas")); 
+#endif
     zzparse(); 
 
     compile_system_library = FALSE;
