Linux debian wheezy compatible x64 binary