update build.xml in 1.5.2 to include minecraft version in filename