Some Linux modifications