GUN/linux x86_64 binary