linux update alternatives priority