Change scripts/os-type so that when "uname -s" returns just "GNU", the
drwxr-xr-x - configs
drwxr-xr-x - doc
drwxr-xr-x - src