Umstellung auf x64