Some Linux cleanups