Changing x32 to x64