use x64 by default