Adding files for 64-bit