Some Linux compilation fixes