Hi, you can see the change here:
https://groups.google.com/d/msg/fricas-devel/u7HT8s_lMF8/n6UGeTvyAgAJ
Quote:
They are slightly hacked to produce shorter names.
Yes, originals are from autotools. This version is hacked
to produce slightly shorter names, instead of say
x86_64-unknown-linux-gnu
it gives
x86_64-linux-gnu
END QUOTE
So it seems that we should stick to autotools default then,
since this hack causes problem in Cygwin, and also
update config.guess to latest version.