Changed name for 32-bit placeholder file