diff --git a/Makefile b/Makefile
index 3ce1f8212850a0dc8116721c1c0ea1b8da0afda4..cbce27b338a68d607fe58cf722d0388d6ad29b58 100644
--- a/Makefile
+++ b/Makefile
@@ -49,7 +49,7 @@ BIN_DIST_TOP= distrib/Makefile-bin.in \
 	      README \
 	      distrib/INSTALL \
 	      $(BIN_DIST_MAIN_DIR)/ANNOUNCE \
-	      $(BIN_DIST_MAIN_DIR)/PATCHLEVEL \
+	      $(BIN_DIST_MAIN_DIR)/VERSION \
 	      $(BIN_DIST_MAIN_DIR)/RELEASE \
 	      $(BIN_DIST_MAIN_DIR)/LICENSE \
 	      glafp-utils/mkdirhier/mkdirhier \
diff --git a/ghc/PATCHLEVEL b/ghc/PATCHLEVEL
deleted file mode 100644
index eaea370886c96b0af82a43bed1fdc4d5493d610a..0000000000000000000000000000000000000000
--- a/ghc/PATCHLEVEL
+++ /dev/null
@@ -1 +0,0 @@
-The Glamorous Glasgow Haskell Compiler, version 4.04, patchlevel 0
diff --git a/ghc/VERSION b/ghc/VERSION
new file mode 100644
index 0000000000000000000000000000000000000000..698a0d4c0cac86d7417d1328016775f9b567f9b5
--- /dev/null
+++ b/ghc/VERSION
@@ -0,0 +1 @@
+The Glasgow Haskell Compiler, version 4.05