diff --git a/collects/meta/build/build b/collects/meta/build/build
index 542fd1229a..5820c538b7 100755
--- a/collects/meta/build/build
+++ b/collects/meta/build/build
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 ## This is the build script which creates the pre-compiled directory.  It is
-## currently running from Eli's account on winooski, but it should be easy to
+## currently running from Eli's account on lambda, but it should be easy to
 ## configure to run anywhere.  It can update the repository, so instead of
 ## running it straight from there it is better to copy it someplace else before
 ## running so we get a clean copy.
@@ -48,7 +48,7 @@ init_repo_vars() {
 init_repo_vars
 
 # main machine that runs the whole build (the expected `$hostname' value)
-workmachine="winooski"
+workmachine="lambda"
 # main directory on $workmachine (should be absolute)
 maindir="/home/scheme"
 
@@ -105,7 +105,7 @@ defbuild "osx64" "x86_64-osx-mac"
 # defbuild "blisses1" "x86_64-linux-debian-lenny"
 defbuild "blisses2" "x86_64-linux-debian-squeeze"
 # Start the main build last
-defbuild "$workmachine" "x86_64-linux-f14" "copytobak=$maindir" "test_gui=yes"
+defbuild "$workmachine" "x86_64-linux-f18" "copytobak=$maindir" "test_gui=yes"
 msets "/"
 
 ###############################################################################
@@ -225,6 +225,7 @@ name_of_platform() {
     ( "i386-linux-f9"     ) echo "Linux/i386/Fedora 9" ;;
     ( "i386-linux-f12"    ) echo "Linux/i386/Fedora 12" ;;
     ( "x86_64-linux-f14"  ) echo "Linux/x86_64/Fedora 14" ;;
+    ( "x86_64-linux-f18"  ) echo "Linux/x86_64/Fedora 18" ;;
     ( "i386-linux-debian"          ) echo "Linux/i386/Debian Stable" ;;
     ( "x86_64-linux-debian-"* ) echo "Linux/x86_64/Debian" \
                                      "$(last_part_capital "$1")" ;;
@@ -302,6 +303,7 @@ platforms_of_dist_type() {
                    "i386-linux-f9" \
                    "i386-linux-f12" \
                    "x86_64-linux-f14" \
+                   "x86_64-linux-f18" \
                    "i386-linux-debian" \
                    "i386-linux-debian-testing" \
                    "i386-linux-debian-unstable" \
diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt
index 053ace2761..23c9d54c10 100644
--- a/collects/meta/dist-specs.rkt
+++ b/collects/meta/dist-specs.rkt
@@ -93,6 +93,7 @@ x86_64-linux-f7   :=tag unix
 i386-linux-f9     :=tag unix
 i386-linux-f12    :=tag unix
 x86_64-linux-f14  :=tag unix
+x86_64-linux-f18  :=tag unix
 i386-linux-debian :=tag unix
 i386-linux-debian-testing   :=tag unix
 i386-linux-debian-unstable  :=tag unix
@@ -753,6 +754,7 @@ platform
          i386-linux-f9     => "Linux i386, built on Fedora 9"
          i386-linux-f12    => "Linux i386, built on Fedora 12"
          x86_64-linux-f14  => "Linux x86_64, built on Fedora 14"
+         x86_64-linux-f18  => "Linux x86_64, built on Fedora 18"
          i386-linux-debian => "Linux i386, built on Debian Stable"
          i386-linux-debian-testing   => "Linux i386, built on Debian Testing"
          i386-linux-debian-unstable  => "Linux i386, built on Debian Unstable"