Adding of the x86_64 binary for debian stable