diff --git a/checkin_notes b/checkin_notes
index 3cbc9cf20c..d03649906b 100644
--- a/checkin_notes
+++ b/checkin_notes
@@ -5441,3 +5441,9 @@ David  10 Aug 2012
 
     lib/
         *.cpp
+
+David  10 Aug 2012
+    - server: compile fix
+
+    lib/
+        synch.cpp
diff --git a/lib/synch.cpp b/lib/synch.cpp
index c27d886e2e..60124de8c1 100644
--- a/lib/synch.cpp
+++ b/lib/synch.cpp
@@ -18,7 +18,7 @@
 
 // interfaces for accessing sempahores
 
-#ifdef HAVE_SYS_SEM_H
+#ifndef ANDROID
 
 #include "config.h"
 #include <cstdio>
@@ -114,4 +114,4 @@ int get_key(char* path, int id, key_t& key) {
     return 0;
 }
 
-#endif //HAVE_SYS_SEM_H
+#endif