fix linux x86-64 build