diff --git a/hal/CMakeLists.txt b/hal/CMakeLists.txt
index 5ef5c97c..bdd1a9c6 100644
--- a/hal/CMakeLists.txt
+++ b/hal/CMakeLists.txt
@@ -94,7 +94,7 @@ set (libhal_SRCS
 )
 ELSEIF(${CMAKE_SYSTEM_NAME} MATCHES "FreeBSD")
 set (libhal_SRCS
-    ${libhal_bsd_SRCS}}
+    ${libhal_bsd_SRCS}
 )
 ELSE()
 set (libhal_SRCS
diff --git a/hal/socket/bsd/socket_bsd.c b/hal/socket/bsd/socket_bsd.c
index d1a6eaa9..9f1e7ea4 100644
--- a/hal/socket/bsd/socket_bsd.c
+++ b/hal/socket/bsd/socket_bsd.c
@@ -31,7 +31,7 @@
 #include <netinet/in.h>
 #include <netdb.h>
 #include <errno.h>
-
+#include <stdio.h>
 #include <fcntl.h>
 
 #include <netinet/tcp.h> // required for TCP keepalive