diff --git a/src/SConscript b/src/SConscript
index 05ffa983674488db41cc0c6f32f642c2f43e30f8..0351e1ba8674492aef1c0aaf4cad4c52c08120fd 100644
--- a/src/SConscript
+++ b/src/SConscript
@@ -7,7 +7,8 @@ dist_headers = [
     "allocator.h",
     "compiler_specifics.h",
     "glue.h",
-    "internal.h"
+    "internal.h",
+    "platform.h"
 ]
 
 parsers_headers = [