linux compilation fixes