--- a/extvars.h
+++ b/extvars.h
@@ -129,10 +129,10 @@ extern int numb_moves;
 
 extern int phase;
 
-FILE *lrn_standard;
-FILE *lrn_zh;
-FILE *lrn_suicide;
-FILE *lrn_losers;
+extern FILE *lrn_standard;
+extern FILE *lrn_zh;
+extern FILE *lrn_suicide;
+extern FILE *lrn_losers;
 extern int bestmovenum;
 
 extern int ugly_ep_hack;
--- a/proof.c
+++ b/proof.c
@@ -48,7 +48,7 @@ long frees;
 int iters;
 int forwards;
 int maxply;
-int ply;
+extern int ply;
 int pn_time;
 move_s pn_move;
 move_s pn_saver;