diff --git a/src/goto-programs/CMakeLists.txt b/src/goto-programs/CMakeLists.txt
index 13ed9cbb70c..1cdb9d0425d 100644
--- a/src/goto-programs/CMakeLists.txt
+++ b/src/goto-programs/CMakeLists.txt
@@ -3,4 +3,5 @@ add_library(goto-programs ${sources})
 
 generic_includes(goto-programs)
 
-target_link_libraries(goto-programs util assembler langapi analyses ansi-c)
+target_link_libraries(
+        goto-programs util assembler langapi analyses ansi-c java_bytecode)