diff --git a/collects/version/check.ss b/collects/version/check.ss
index cbb9045d71..ed88e4ff41 100644
--- a/collects/version/check.ss
+++ b/collects/version/check.ss
@@ -70,6 +70,9 @@
           [stable (get 'stable)]
           [recent (get 'recent)])
       (cond
+        ;; temporary hack, until v4 comes out
+        [(regexp-match? #rx"372" recent)
+         `(error "the download pages were not ported to v4 yet")]
         ;; we have the newest version (can be > if we have an svn build)
         [(string>=? current recent) 'ok]
         ;; we're stable, but there's a newer version
diff --git a/collects/version/patchlevel.ss b/collects/version/patchlevel.ss
index badaeb6d6c..ef06882b86 100644
--- a/collects/version/patchlevel.ss
+++ b/collects/version/patchlevel.ss
@@ -1,5 +1,5 @@
 ;; this file contains the current patch level of DrScheme
 ;; it is usually `0' in the repository, and changed only when a patch is made.
-(module patchlevel mzscheme
-  (define patchlevel 0)
-  (provide patchlevel))
+#lang scheme/base
+(define patchlevel 0)
+(provide patchlevel)
diff --git a/collects/version/tool.ss b/collects/version/tool.ss
index 86ba48bc11..40168734e5 100644
--- a/collects/version/tool.ss
+++ b/collects/version/tool.ss
@@ -1,14 +1,9 @@
-#lang mzscheme
+#lang scheme/gui
 
-(require (lib "tool.ss" "drscheme")
-         mzlib/unit
-         framework
-         mred
-         mzlib/class
+(require scheme/unit scheme/class framework drscheme/tool
+         browser/external string-constants
          "patchlevel.ss"
-         "check.ss"
-         (lib "external.ss" "browser")
-         string-constants)
+         "check.ss")
 
 (define download-url "http://download.plt-scheme.org/")
 
@@ -24,7 +19,7 @@
 ;; that we don't want to set a default of #t or #f, so make it 'unset and
 ;; change it only when users explicitly set it.  This makes it possible to have
 ;; the default be #f, but without making it always #f for all users, and in the
-;; future it is possible to change it to default to a different default.
+;; future it is possible to change it to default to #t.
 (define (is-enabled? v)
   (case v [(yes) #t] [(no) #f] [else #f])) ; default to #f