diff --git a/aos/common/controls/BUILD b/aos/common/controls/BUILD
index 6c0805c..5c9ed5c 100644
--- a/aos/common/controls/BUILD
+++ b/aos/common/controls/BUILD
@@ -31,6 +31,9 @@
 
 cc_library(
   name = 'polytope',
+  hdrs = [
+    'polytope.h',
+  ],
   deps = [
     '//third_party/eigen',
     '//third_party/cddlib',
diff --git a/aos/common/util/BUILD b/aos/common/util/BUILD
index dedec24..d94e6e4 100644
--- a/aos/common/util/BUILD
+++ b/aos/common/util/BUILD
@@ -102,6 +102,7 @@
     '//third_party/eigen',
     '//aos/common:time',
     '//aos/common/logging',
+    '//external:libm',
   ],
 )
 
diff --git a/aos/linux_code/BUILD b/aos/linux_code/BUILD
index ce7b1b0..245acc6 100644
--- a/aos/linux_code/BUILD
+++ b/aos/linux_code/BUILD
@@ -22,6 +22,7 @@
   deps = [
     '//aos/common:once',
     '//aos/common:die',
+    '//external:libpthread',
   ],
 )
 
diff --git a/aos/linux_code/ipc_lib/BUILD b/aos/linux_code/ipc_lib/BUILD
index 83235ee..a8be135 100644
--- a/aos/linux_code/ipc_lib/BUILD
+++ b/aos/linux_code/ipc_lib/BUILD
@@ -55,6 +55,7 @@
     '//aos/linux_code/ipc_lib:mutex',
     ':core_lib',
     '//aos/common/logging:logging_interface',
+    '//external:librt',
   ],
 )