more fixes after latest linux update