maj du packet linux 32 bits