Some linux fixes