another linux compilation fixes