use GNU/Linux instead of Linux