fix for the linux x86_64 version