Oh!

I got it. Bash-2.0 (unreleased) sets OSTYPE!

The problem is that os-type is not robust. In my case, OSTYPE is set
to:

OSTYPE=hpux9.05

That's not what os-type is looking for.