Change scripts/os-type so that when "uname -s" returns just "GNU", the