(1) Patches by Alexander Mustill. (2) Rename mercury6_2.for file.