Debian 64 bits binary