adapto config 64 bits debian