Fix name of file with 64 bit configuration