--- src/options_dialog.cpp.orig	Sat Jul  1 10:55:29 2000
+++ src/options_dialog.cpp	Tue Sep 19 21:47:10 2000
@@ -1,5 +1,6 @@
 #include "gtk-gui.h"
 
+#include <unistd.h>
 #include <sys/time.h>
 #include <stdio.h>
 #include <sys/types.h>