Some Linux fixes