diff --git a/drivers/pipes/pipe_common.c b/drivers/pipes/pipe_common.c
index 25c51e76d4..3bb5fc405e 100644
--- a/drivers/pipes/pipe_common.c
+++ b/drivers/pipes/pipe_common.c
@@ -157,7 +157,7 @@ FAR struct pipe_dev_s *pipecommon_allocdev(size_t bufsize)
 {
   FAR struct pipe_dev_s *dev;
 
-  DEBUGASSERT(bufsize <= CONFIG_DEV_PIPE_MAXSIZE)
+  DEBUGASSERT(bufsize <= CONFIG_DEV_PIPE_MAXSIZE);
 
   /* Allocate a private structure to manage the pipe */
 
diff --git a/drivers/pipes/pipe_common.h b/drivers/pipes/pipe_common.h
index ae8c401ebc..0986a27af1 100644
--- a/drivers/pipes/pipe_common.h
+++ b/drivers/pipes/pipe_common.h
@@ -158,7 +158,8 @@ struct pipe_dev_s
 
 #ifdef __cplusplus
 #  define EXTERN extern "C"
-extern "C" {
+extern "C"
+{
 #else
 #  define EXTERN extern
 #endif
diff --git a/net/local/Kconfig b/net/local/Kconfig
index 144844a637..3125ab34a5 100644
--- a/net/local/Kconfig
+++ b/net/local/Kconfig
@@ -9,6 +9,7 @@ menu "Unix Domain Socket Support"
 config NET_LOCAL
 	bool "Unix domain (local) sockets"
 	default n
+	select PIPES
 	---help---
 		Enable or disable Unix domain (aka Local) sockets.