successfully converted 64-bit file to 32-bit file