diff --git a/Common/OS.cpp b/Common/OS.cpp
index 7acaed7b5c5a229b4acb585b0c43640ecacb85ff..38ccd2e868cd7b3cc46f518e3f0639b0c110f29c 100644
--- a/Common/OS.cpp
+++ b/Common/OS.cpp
@@ -49,6 +49,7 @@
 #include <fcntl.h>
 #include <iostream>
 #include <fstream>
+#include <sys/timeb.h>
 #endif
 
 #include "GmshMessage.h"
diff --git a/Geo/OCCRegion.cpp b/Geo/OCCRegion.cpp
index 42a1280a33b15b841d9d642defd892b76616b7b7..b41a798f2313344490f986969ef1ab50be60c090 100644
--- a/Geo/OCCRegion.cpp
+++ b/Geo/OCCRegion.cpp
@@ -59,7 +59,7 @@ void OCCRegion::setup()
     else if (edge.Orientation() == TopAbs_INTERNAL){
       Msg::Info("Adding embedded edge %d", e->tag());
       embedded_edges.push_back(e);
-      OCCEdge *occe = (OCCEdge*)e;
+      //OCCEdge *occe = (OCCEdge*)e;
       //occe->setTrimmed(this);
     }
   }