Linux compilation fixes