diff --git a/server/src/usbdevice.cpp b/server/src/usbdevice.cpp
index 7e5ec398a8b43e5c9b29e3dee157cbb077c57df5..7dc01bacec0fa633fe8117ec2138b9444e5d4d69 100644
--- a/server/src/usbdevice.cpp
+++ b/server/src/usbdevice.cpp
@@ -21,7 +21,6 @@
  * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  */
 
-#include "libwebsockets.h"   // Lazy portable way to get gettimeofday()
 #include "usbdevice.h"
 #include <iostream>
 
diff --git a/server/src/usbdevice.h b/server/src/usbdevice.h
index 73eb2af2e58f408e1ae16d4fe4e5e58be9c6c49d..bffd7359777d83f5076ee1bc1b0bb0166c4d5167 100644
--- a/server/src/usbdevice.h
+++ b/server/src/usbdevice.h
@@ -26,7 +26,7 @@
 #include "rapidjson/document.h"
 #include "opc.h"
 #include <string>
-#include <libusb.h>
+#include <libusb.h> // Also brings in gettimeofday() in a portable way
 
 
 /*