Fix x64 build for linux