x64 support on linux