diff --git a/src/cmd/proof/proof.h b/src/cmd/proof/proof.h
index 73f39b8c..edd34991 100644
--- a/src/cmd/proof/proof.h
+++ b/src/cmd/proof/proof.h
@@ -9,6 +9,8 @@
 
 #define	ONES	~0
 
+#define devname proof_devname
+
 extern	char	devname[];
 extern	double	mag;
 extern	int	nview;