Update filename case of X64 binary to match the IA32 and IPF binary filenames.