diff --git a/workspace/workspace.gpr b/workspace/workspace.gpr
index e7e6d86a4..caabf084e 100644
--- a/workspace/workspace.gpr
+++ b/workspace/workspace.gpr
@@ -19,5 +19,5 @@
 with "aws";
 
 project Workspace is
-
+   for Main use ("ssl_version.adb", "max_poll_size.adb");
 end Workspace;