Updated Linux port