--- ray/src/gen/replmarks.c	2003/03/10 17:26:26	2.6
+++ ray/src/gen/replmarks.c	2003/10/27 10:27:25	2.8
@@ -7,11 +7,13 @@ static const char RCSid[] = "$Id";
  *	Created:	17 Feb 1991	Greg Ward
  */
 
-#include <stdio.h>
 #include <stdlib.h>
 #include <ctype.h>
 #include <math.h>
+#include <stdio.h>
 
+#include "platform.h"
+#include "rtprocess.h"
 #include "fvect.h"
 
 #ifdef  M_PI
@@ -146,7 +148,7 @@ cvcomm(fname, fin)		/* convert a command */
 char	*fname;
 FILE	*fin;
 {
-	FILE	*pin, *popen();
+	FILE	*pin;
 	char	buf[512], *fgetline();
 
 	fgetline(buf, sizeof(buf), fin);