More Linux cleanup