SDL: fix x64 machine type