Really non-FAT file for 64bit configuration.