diff --git a/misc/build.py b/misc/build.py
index 814adac0..27cf82d7 100755
--- a/misc/build.py
+++ b/misc/build.py
@@ -69,5 +69,5 @@ def concat(base, src, outfile, atline=True, platform=None):
 
     concat(os.path.expanduser(options.top),
            os.path.expanduser(options.src),
-           os.path.expanduser(outfile), atline=True)
+           os.path.expanduser(outfile), atline=True, platform=options.platform)