if test -z "$__gnuc__" -o "$osname" = "nextstep" -o "$osname" = "linux"; then
  kernel="$kernel kernel2"
fi