win32/install.txt is no more, just copy INSTALL instead

Author: KalleZ

win32/build/mkdist.php

@@ -229,10 +229,10 @@ function extract_file_from_tarball($pkg, $filename, $dest_dir) /* {{{ */
 $text_files = array(
 	"LICENSE" => "license.txt",
 	"NEWS" => "news.txt",
+	"INSTALL" => "install.txt", 
 	"README.REDIST.BINS" => "readme-redist-bins.txt",
 	"php.ini-development" => "php.ini-development",
-	"php.ini-production" => "php.ini-production",
-	"win32/install.txt" => "install.txt",
+	"php.ini-production" => "php.ini-production"
 );
 
 foreach ($text_files as $src => $dest) {