fix for x64 linux