added: different names for x86/x64